runtests-batch.sh

   1 #!/bin/sh
   2
   3 #for a in test_urcu_gc test_urcu_gc_mb test_qsbr_gc; do
   4 for a in test_urcu_gc; do
   5         echo "./${a} $*" | tee -a runall.detail.log
   6         /usr/bin/time --append --output runall.detail.log ./${a} $*
   7 done
   8