Cache running examples with .have_run flag file. Add results as make target to show...

[snark14.git] / examples / run_all

diff --git a/examples/run_all b/examples/run_all
index 713c9a76f463d3410eae2e1d0c12e41d636f50b6..e4ed0e45c39fdf828352433f7e3260587c1aefe7 100755 (executable)
--- a/examples/run_all
+++ b/examples/run_all
@@ -1,10 +1,10 @@
 #!/bin/bash
-#now need to modify run scripts in examples directory
-echo "Running all ten examples. This may take a few minutes."
-for i in 1 3 4 5 6 7 8 10 11;
+
+echo "Running all examples. This may take a few minutes."
+for i in 1 3 4 5 6 7 8 10 11 20;
   do
     cd b$i
-    snark14 b"$i".in > b"$i".out
+    snark14 b${i}.in > b${i}.out
     cd .. 
 done