From 79d96347ac446620a7698e9920cee645838cf863 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Thu, 18 Nov 2010 05:42:45 +0000
Subject: [PATCH] runall script

---
 Robust/src/Benchmarks/oooJava/runall | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100755 Robust/src/Benchmarks/oooJava/runall

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
-- 
2.34.1