diff options
| author | Marvin Borner | 2024-02-22 21:20:44 +0100 |
|---|---|---|
| committer | Marvin Borner | 2024-02-22 21:20:44 +0100 |
| commit | f8e5a7026447b4d3f2f4840ec1a88df83d3d123e (patch) | |
| tree | 711e0b05b4e5e43b4575670f1c9fdf651980f34b /std/test_all.sh | |
| parent | c9b30f99992c98745d52807f5e45a12f6aee2c5f (diff) | |
Hyperfine measurement
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" |