Merge pull request #217 from mkj/extract

extract-all: Distinguish missing and failure
2023-07-05 15:04:11 +00:00 · 2023-07-05 15:04:11 +00:00 · 931ab215e9
commit 931ab215e9
parent 1f5e313874 83f2256895
1 changed files with 5 additions and 1 deletions
--- a/6
+++ b/6
@ -32,8 +32,12 @@ case "$CMD" in
                rm tmp/$peri/$f.err
                echo OK
            else
                if grep -q 'peripheral not found' tmp/$peri/$f.err; then
                    echo No Peripheral
                else
                    echo OTHER FAILURE
                fi
                rm tmp/$peri/$f.yaml
                echo FAIL
            fi
        done
    ;;