benchmarks/cdschecker/linuxrwlock/bench.sh

   1 #!/bin/bash
   2 source ../path.sh
   3 for i in 1 2 3 4 5 6 7
   4 do
   5 echo size= $i
   6 cat linuxrwlocks.c.in | sed s/PROBLEMSIZE/$i/ > linuxrwlocks.c
   7 gcc linuxrwlocks.c -O3 -I$CDSCHECKERDIR/include -L$CDSCHECKERDIR -lmodel -o linuxrwlocks.o
   8 export LD_LIBRARY_PATH=$CDSCHECKERDIR
   9 time ./linuxrwlocks.o
  10 done