1 files changed, 8 insertions, 0 deletions
diff --git a/makeall.sh b/makeall.sh
new file mode 100755
index 000000000..10966c3fd
--- /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