benchmarks/runnidd

   1 #!/bin/bash
   2 DIR=`pwd`
   3
   4 echo nidhugg_sc
   5 for i in nidhugg/*
   6 do
   7 echo $i
   8 cd $i
   9 ./bench.sh
  10 cd $DIR
  11 done
  12
  13 echo nidhugg_tso
  14 for i in nidhugg/*
  15 do
  16 echo $i
  17 cd $i
  18 ./benchtso.sh
  19 cd $DIR
  20 done