build script for everything

diff --git a/Robust/src/Benchmarks/Prefetch/buildall b/Robust/src/Benchmarks/Prefetch/buildall
new file mode 100755 (executable)
index 0000000..b7b6373
--- /dev/null
+++ b/Robust/src/Benchmarks/Prefetch/buildall
@@ -0,0 +1,9 @@
+#!/bin/bash
+curpath=`pwd`
+for i in */dsm */javasingle
+do
+echo Building $i
+cd $i
+make
+cd $curpath
+done