run.sh

   1 #!/bin/sh
   2
   3 # rebuild everything
   4 make clean
   5 make
   6 # preseed filesystem cache
   7 make log REPS=2
   8 # now do the real run
   9 chrt -r 5 taskset -c 0 make log REPS=500