Merge branch 'master' into urcu/rcuja-range-merge

[userspace-rcu.git] / tests / benchmark / runtests-batch.sh

diff --git a/tests/benchmark/runtests-batch.sh b/tests/benchmark/runtests-batch.sh
new file mode 100755 (executable)
index 0000000..3d295fb
--- /dev/null
+++ b/tests/benchmark/runtests-batch.sh
@@ -0,0 +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"
+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 "$log_file"
+       $time_command ./${a} $* 2>> $log_file
+done
+