diff options
Diffstat (limited to 'std/test_all.sh')
| -rwxr-xr-x | std/test_all.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/std/test_all.sh b/std/test_all.sh index c61a575..32619f3 100755 --- a/std/test_all.sh +++ b/std/test_all.sh @@ -18,8 +18,8 @@ done echo >>All.bruijn echo "main [[0]]" >>All.bruijn -if bruijn -v All.bruijn -r "$1" | tee /dev/fd/2 | grep -q "ERROR"; then +if cat /dev/null | bruijn -v All.bruijn -r "$1" | tee /dev/fd/2 | grep -q "ERROR"; then exit 1 fi -hyperfine --warmup 5 --runs 20 "bruijn -r $1 All.bruijn" +hyperfine --warmup 5 --runs 20 "cat /dev/null | bruijn -r $1 All.bruijn" |