runtests: put trace outputs in log/trace[num] for all tests

diff --git a/tests/runtests.pl b/tests/runtests.pl
index 6055173c9bc098f690790f93882fd9fb36163e7b..16ee812c659c3960231db7e9da969212088a3c26 100755 (executable)
--- 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