diff options
Diffstat (limited to 'makeall.sh')
-rwxr-xr-x | makeall.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/makeall.sh b/makeall.sh index 1566f09026..10966c3fdf 100755 --- a/makeall.sh +++ b/makeall.sh @@ -1,7 +1,8 @@ #!/bin/sh -for p in 1 2 3 4 5 6 +for p in 1 2 3 do echo "============>>> ERROR: Pass $p <<<============" - make main 2>&1 | tee makelog-pass-$p.txt | grep ">>> ERROR:" + make main 2>&1 | tee makelog-pass-$p-main.txt | grep ">>> ERROR:" + make testing 2>&1 | tee makelog-pass-$p-testing.txt | grep ">>> ERROR:" done |