From 7d882778da5471146a2beaf22cd55f69c9a56615 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 19 Nov 2008 08:56:21 +0000
Subject: [PATCH] build script for everything

---
 Robust/src/Benchmarks/Prefetch/buildall | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100755 Robust/src/Benchmarks/Prefetch/buildall

diff --git a/Robust/src/Benchmarks/Prefetch/buildall b/Robust/src/Benchmarks/Prefetch/buildall
new file mode 100755
index 00000000..b7b6373e
--- /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
-- 
2.34.1