1 files changed, 1 insertions, 1 deletions
diff --git a/runtests.pl b/runtests.pl
index d5059fdc0..ad6898b23 100755
--- a/runtests.pl
+++ b/runtests.pl
@@ -34,7 +34,7 @@ foreach (@ARGV) {
         $verbose = 1;
     }
     else {
-        $onlytest = $_;
+        $onlytest = sprintf("%0.3d",$_);
     }
 }