|
From: <sv...@va...> - 2009-06-24 18:33:51
|
Author: bart
Date: 2009-06-24 19:33:47 +0100 (Wed, 24 Jun 2009)
New Revision: 10375
Log:
Added tool option --drd-stats=yes.
Modified:
trunk/drd/scripts/run-splash2
Modified: trunk/drd/scripts/run-splash2
===================================================================
--- trunk/drd/scripts/run-splash2 2009-06-24 08:32:42 UTC (rev 10374)
+++ trunk/drd/scripts/run-splash2 2009-06-24 18:33:47 UTC (rev 10375)
@@ -60,13 +60,13 @@
test_output="${1}-drd-with-stack-var-4.out" \
print_runtime_ratio "${avg4}" "${stddev4}" "${vsz4}" "${vszdev4}" \
"$VG" --tool=drd --first-race-only=yes --check-stack-var=yes \
- "$@" -p${psep}${p} "${test_args}"
+ --drd-stats=yes "$@" -p${psep}${p} "${test_args}"
p=4
test_output="${1}-drd-without-stack-var-4.out" \
print_runtime_ratio "${avg4}" "${stddev4}" "${vsz4}" "${vszdev4}" \
"$VG" --tool=drd --first-race-only=yes --check-stack-var=no \
- "$@" -p${psep}${p} "${test_args}"
+ --drd-stats=yes "$@" -p${psep}${p} "${test_args}"
p=4
test_output="${1}-helgrind-4.out" \
|