some tweaks to number of workers and workloads

[IRC.git] / Robust / src / Benchmarks / oooJava / runall

diff --git a/Robust/src/Benchmarks/oooJava/runall b/Robust/src/Benchmarks/oooJava/runall
index ff882eb10fe488f92a03aee04dc695006854a3d4..abed07c10911021376a0c68f755b2d67fb6dea42 100755 (executable)
--- a/Robust/src/Benchmarks/oooJava/runall
+++ b/Robust/src/Benchmarks/oooJava/runall
@@ -2,6 +2,7 @@
 CUR=`pwd`
 for i in *
 do
+if [ -d "$i" ] ; then
 echo ENTERING $i
 cd $i
 for p in run*
@@ -13,4 +14,5 @@ do
 done
 done
 cd $CUR
+fi
 done
\ No newline at end of file