diff options
Diffstat (limited to 'makeall.sh')
-rwxr-xr-x | makeall.sh | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/makeall.sh b/makeall.sh deleted file mode 100755 index 10966c3fdf..0000000000 --- a/makeall.sh +++ /dev/null @@ -1,8 +0,0 @@ -#!/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 |