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

diff --git a/tests/runtests.pl b/tests/runtests.pl
index 6055173..16ee812 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