Cleanup: doc/examples makefile

[urcu.git] / tests / runtests.sh

diff --git a/tests/runtests.sh b/tests/runtests.sh
index 4b5f745b01a1e294be83a2bf3fa9e04a9df37589..60011744e67699f3eaaa88181257eec008a3d620 100755 (executable)
--- a/tests/runtests.sh
+++ b/tests/runtests.sh
@@ -1,10 +1,21 @@
 #!/bin/sh
 
-for a in test_urcu_gc test_urcu_signal_gc test_urcu_mb_gc test_qsbr_gc \
-       test_urcu_lgc test_urcu_signal_lgc test_urcu_mb_lgc test_qsbr_lgc \
-       test_urcu test_urcu_signal test_urcu_mb test_qsbr \
+. ./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_signal_gc test_urcu_mb_gc test_urcu_qsbr_gc \
+       test_urcu_lgc test_urcu_signal_lgc test_urcu_mb_lgc test_urcu_qsbr_lgc \
+       test_urcu test_urcu_signal test_urcu_mb test_urcu_qsbr \
        test_rwlock test_perthreadlock test_mutex; do
-       echo "./${a} $*" | tee -a runall.detail.log
-       /usr/bin/time --append --output runall.detail.log ./${a} $*
+       echo "./${a} $*" | tee -a "$log_file"
+       $time_command ./${a} $*
 done