From: bdemsky <bdemsky>
Date: Thu, 18 Nov 2010 05:42:45 +0000 (+0000)
Subject: runall script
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=79d96347ac446620a7698e9920cee645838cf863;p=IRC.git

runall script
---

diff --git a/Robust/src/Benchmarks/oooJava/runall b/Robust/src/Benchmarks/oooJava/runall
new file mode 100755
index 00000000..ff882eb1
--- /dev/null
+++ b/Robust/src/Benchmarks/oooJava/runall
@@ -0,0 +1,16 @@
+#!/bin/bash
+CUR=`pwd`
+for i in *
+do
+echo ENTERING $i
+cd $i
+for p in run*
+do
+echo Running $p
+for c in 1 2 3 4 5 6 7 8 9 10
+do
+./$p
+done
+done
+cd $CUR
+done
\ No newline at end of file