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