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

[userspace-rcu.git] / tests / common.sh

diff --git a/tests/common.sh b/tests/common.sh
deleted file mode 100644 (file)
index 9eb03f8..0000000
--- a/tests/common.sh
+++ /dev/null
@@ -1,12 +0,0 @@
-#
-# This file is meant to be sourced from other tests scripts.
-#
-
-if [ -x "$URCU_TEST_TIME_BIN" ]; then
-       test_time_bin="$URCU_TEST_TIME_BIN"
-elif [ -x "/usr/bin/time" ]; then
-       test_time_bin="/usr/bin/time"
-else
-       test_time_bin=""
-fi
-