diff options
Diffstat (limited to 'std/test_all.sh')
| -rwxr-xr-x | std/test_all.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/std/test_all.sh b/std/test_all.sh index 8b0740a..a5a5c63 100755 --- a/std/test_all.sh +++ b/std/test_all.sh @@ -13,4 +13,8 @@ done echo >>All.bruijn echo "main [[0]]" >>All.bruijn -stack run -- All.bruijn | grep "ERROR" && exit 1 || exit 0 +if bruijn All.bruijn | grep "ERROR"; then + exit 1 +fi + +hyperfine "bruijn All.bruijn" |