# 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
test_urcu test_urcu_signal test_urcu_mb test_urcu_qsbr \
test_rwlock test_perthreadlock test_mutex; do
echo "./${a} $*" | tee -a "$log_file"
- $time_command ./${a} $*
+ $time_command ./${a} $* 2>> $log_file
done