projects
/
urcu.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
lfstack: relax constraints on node re-use
[urcu.git]
/
tests
/
benchmark
/
runtests-batch.sh
diff --git
a/tests/benchmark/runtests-batch.sh
b/tests/benchmark/runtests-batch.sh
index 2da1401b15771c91e5e76090161027a91108aeca..3d295fb9c8bf835867fc3f9c60ce0b07fc29a372 100755
(executable)
--- a/
tests/benchmark/runtests-batch.sh
+++ b/
tests/benchmark/runtests-batch.sh
@@
-6,7
+6,7
@@
log_file="runall.detail.log"
# Check if time bin is non-empty
if [ -n "$test_time_bin" ]; then
# Check if time bin is non-empty
if [ -n "$test_time_bin" ]; then
- time_command="$test_time_bin
-a -o $log_file
"
+ time_command="$test_time_bin"
else
time_command=""
fi
else
time_command=""
fi
@@
-14,6
+14,6
@@
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"
#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} $*
+ $time_command ./${a} $*
2>> $log_file
done
done
This page took
0.040109 seconds
and
4
git commands to generate.