diff options
| -rwxr-xr-x | script/spec-all-pairs | 17 |
1 files changed, 12 insertions, 5 deletions
diff --git a/script/spec-all-pairs b/script/spec-all-pairs index 3604e8111..6f27e6b8e 100755 --- a/script/spec-all-pairs +++ b/script/spec-all-pairs @@ -39,11 +39,18 @@ pairs_from_stdin() { all_okay=true while read line do - line=${line#\* FAILED: } - if ! test_pair $line - then - all_okay=false - fi + case "$line" in + \*\ FAILED:\ *) + line=${line#\* FAILED: } + if ! test_pair $line + then + all_okay=false + fi + ;; + *) + echo "No match: $line" + ;; + esac done $all_okay |