summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xruntests.pl2
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",$_);
}
}