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 8887f68..f3ac90f 100644 --- a/checker/test.sh +++ b/checker/test.sh @@ -36,7 +36,7 @@ try() { if [ ! -z "$REMOTE" ]; then python3 enoreq.py -j True -A http://localhost:9091 -a $REMOTE \ --flag ENOTESTFLAG123= --flag_regex 'ENO.*=' \ - -x 4000 ${@:3} "$cmd" > "$tmpfile" + -v "$variant" -x 4000 ${@:3} "$cmd" > "$tmpfile" else python3 src/checker.py -j run -v "$variant" -x 4000 \ --flag ENOTESTFLAG123= --flag_regex 'ENO.*=' \ |