Bug 257267: allow trimming leading zeros when typing the test number in the testing...

diff --git a/runtests.pl b/runtests.pl
index d5059fdc0925f1ebcd62e8e841df5171daaa3454..ad6898b2396ee056151aa9400d018bffd12c6e7c 100755 (executable)
--- a/runtests.pl
+++ b/runtests.pl
@@ -34,7 +34,7 @@ foreach (@ARGV) {
         $verbose = 1;
     }
     else {
-        $onlytest = $_;
+        $onlytest = sprintf("%0.3d",$_);
     }
 }