projects
/
urcu.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
wfcqueue: document first/next return values
[urcu.git]
/
tests
/
runtests-batch.sh
diff --git
a/tests/runtests-batch.sh
b/tests/runtests-batch.sh
index 4340147905907fbf3d07a61960383d9572a674d7..2da1401b15771c91e5e76090161027a91108aeca 100755
(executable)
--- a/
tests/runtests-batch.sh
+++ b/
tests/runtests-batch.sh
@@
-1,8
+1,19
@@
#!/bin/sh
#!/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
#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
runall.detail.log
-
/usr/bin/time --append --output runall.detail.log
./${a} $*
+ echo "./${a} $*" | tee -a
"$log_file"
+
$time_command
./${a} $*
done
done
This page took
0.023501 seconds
and
4
git commands to generate.