diff options
Diffstat (limited to 'std/test_all.sh')
| -rwxr-xr-x | std/test_all.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/std/test_all.sh b/std/test_all.sh index a5a5c63..c6085df 100755 --- a/std/test_all.sh +++ b/std/test_all.sh @@ -13,7 +13,7 @@ done echo >>All.bruijn echo "main [[0]]" >>All.bruijn -if bruijn All.bruijn | grep "ERROR"; then +if bruijn -v All.bruijn | tee /dev/fd/2 | grep -q "ERROR"; then exit 1 fi |