X-Git-Url: http://git.liburcu.org/?p=urcu.git;a=blobdiff_plain;f=tests%2Fruntests-batch.sh;h=2da1401b15771c91e5e76090161027a91108aeca;hp=6c2340d18b2d880df36e87417e134137b5ec5d86;hb=a5bae03d59c22e57263b8610b9fed99738303cf0;hpb=383dac33797fd0858d6858527324a6a15aa06c09

diff --git a/tests/runtests-batch.sh b/tests/runtests-batch.sh
index 6c2340d..2da1401 100755
--- a/tests/runtests-batch.sh
+++ b/tests/runtests-batch.sh
@@ -1,8 +1,19 @@
 #!/bin/sh
 
+. ./common.sh
+
+log_file="runall.detail.log"
+
+# Check if time bin is non-empty
+if [ -n "$test_time_bin" ]; then
+	time_command="$test_time_bin -a -o $log_file"
+else
+	time_command=""
+fi
+
 #for a in test_urcu_gc test_urcu_gc_mb test_urcu_qsbr_gc; do
 for a in test_urcu_gc; do
-	echo "./${a} $*" | tee -a runall.detail.log
-	/usr/bin/time -a -o runall.detail.log ./${a} $*
+	echo "./${a} $*" | tee -a "$log_file"
+	$time_command ./${a} $*
 done