diff options
Diffstat (limited to 'checker/test.sh')
| -rw-r--r-- | checker/test.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/checker/test.sh b/checker/test.sh index c3df08c..101ae55 100644 --- a/checker/test.sh +++ b/checker/test.sh @@ -44,7 +44,7 @@ try() { python3 src/checker.py -j run -v "$variant" -x 4000 \ --flag ENOTESTFLAG123= --flag_regex 'ENO.*=' -i $taskid \ ${@:3} "$cmd" > "$tmpfile" - res="$(cat $tmpfile | grep -a Result: | tail -n1 | grep -a -o OK)" + res="$(cat $tmpfile | grep -a -o 'Result: .*' | tail -n1 | cut -d' ' -f2)" fi if [ "$res" != "OK" ]; then newfile="fails/err-$pid" |