aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xtests/runtests.pl2
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/runtests.pl b/tests/runtests.pl
index 6055173c9..16ee812c6 100755
--- a/tests/runtests.pl
+++ b/tests/runtests.pl
@@ -3024,7 +3024,7 @@ sub singletest {
$inc = "--include ";
}
- $cmdargs ="$out $inc--verbose --trace-time $cmd";
+ $cmdargs ="$out $inc--trace-ascii log/trace$testnum --trace-time $cmd";
}
else {
$cmdargs = " $cmd"; # $cmd is the command line for the test file