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