tests/benchmark/runtests-batch.sh

   1 #!/bin/sh
   2
   3 . ./common.sh
   4
   5 log_file="runall.detail.log"
   6
   7 # Check if time bin is non-empty
   8 if [ -n "$test_time_bin" ]; then
   9         time_command="$test_time_bin"
  10 else
  11         time_command=""
  12 fi
  13
  14 #for a in test_urcu_gc test_urcu_gc_mb test_urcu_qsbr_gc; do
  15 for a in test_urcu_gc; do
  16         echo "./${a} $*" | tee -a "$log_file"
  17         $time_command ./${a} $* 2>> $log_file
  18 done
  19