diff options
Diffstat (limited to 'makeall.sh')
-rwxr-xr-x | makeall.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/makeall.sh b/makeall.sh new file mode 100755 index 0000000000..10966c3fdf --- /dev/null +++ b/makeall.sh @@ -0,0 +1,8 @@ +#!/bin/sh + +for p in 1 2 3 +do + echo "============>>> ERROR: Pass $p <<<============" + 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 |