changes in benchmarks for the PPoPP paper

[IRC.git] / Robust / src / Benchmarks / Prefetch / killallclients.sh

#!/bin/sh
source ~/.tmpvars 
binpid=`ps aux | grep $bin | grep -v grep | grep -v time | awk '{print $2}'`
kill -USR1 $binpid