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

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

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