run.sh

   1 #!/bin/sh
   2
   3 CHRT=${CHRT:-chrt -r 5}
   4 TASKSET=${TASKSET:-taskset -c 0}
   5
   6 # rebuild everything
   7 make clean
   8 make
   9 # preseed filesystem cache
  10 make log REPS=2
  11 # now do the real run
  12 $CHRT $TASKSET make log REPS=500
  13 LC_ALL=en_US.UTF-8 awk -f dump.awk log