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_signal_gc test_urcu_mb_gc test_urcu_qsbr_gc \
15 test_urcu_lgc test_urcu_signal_lgc test_urcu_mb_lgc test_urcu_qsbr_lgc \
16 test_urcu test_urcu_signal test_urcu_mb test_urcu_qsbr \
17 test_rwlock test_perthreadlock test_mutex
; do
18 echo "./${a} $*" |
tee -a "$log_file"
19 $time_command .
/${a} $
*