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

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

diff --git a/tests/benchmark/common.sh b/tests/benchmark/common.sh
new file mode 100644 (file)
index 0000000..9eb03f8
--- /dev/null
+++ b/tests/benchmark/common.sh
@@ -0,0 +1,12 @@
+#
+# 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
+