5 log_file
="runall.detail.log"
7 # Check if time bin is non-empty
8 if [ -n "$test_time_bin" ]; then
9 time_command
="$test_time_bin -a -o $log_file"
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} $
*
This page took 0.029707 seconds and 4 git commands to generate.