tests: Use stderr redirection for time output

[urcu.git] / tests / benchmark / runtests-batch.sh

diff --git a/tests/benchmark/runtests-batch.sh b/tests/benchmark/runtests-batch.sh
index 2da1401b15771c91e5e76090161027a91108aeca..3d295fb9c8bf835867fc3f9c60ce0b07fc29a372 100755 (executable)
--- a/tests/benchmark/runtests-batch.sh
+++ b/tests/benchmark/runtests-batch.sh
@@ -6,7 +6,7 @@ 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"
+       time_command="$test_time_bin"
 else
        time_command=""
 fi
@@ -14,6 +14,6 @@ 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 "$log_file"
-       $time_command ./${a} $*
+       $time_command ./${a} $* 2>> $log_file
 done