benchmarks/nidhugg/dekker/bench.sh

   1 #!/bin/bash
   2 source ../path.sh
   3 export PATH=$PATH:$NIDHUGG/bin/
   4 for i in 1 2 3 4 5 6
   5 do
   6 echo size= $i
   7 java -cp .. transform $i dekker-fences.cc.in dekker-fences.cc
   8 time nidhuggc -O3 -std=c++11 -- -sc ./dekker-fences.cc
   9 done