new script for run.sh

diff --git a/Robust/src/Benchmarks/Prefetch/killallclients.sh b/Robust/src/Benchmarks/Prefetch/killallclients.sh
new file mode 100755 (executable)
index 0000000..65235a8
--- /dev/null
+++ b/Robust/src/Benchmarks/Prefetch/killallclients.sh
@@ -0,0 +1,4 @@
+#!/bin/sh
+source ~/.tmpvars 
+binpid=`ps aux | grep $bin | grep -v grep | grep -v time | awk '{print $2}'`
+kill -USR1 $binpid