extract-all: Distinguish missing and failure

2023-07-05 22:27:06 +08:00 · 2023-07-05 22:27:06 +08:00 · 83f2256895
commit 83f2256895
parent 1f5e313874
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
    ;;