From 9bb5fd66e4531df2f98f31d63b03a571e9604de9 Mon Sep 17 00:00:00 2001
From: "jocuri%softhome.net" <>
Date: Fri, 3 Sep 2004 13:59:31 +0000
Subject: [PATCH] Bug 257267: allow trimming leading zeros when typing the test
 number in the testing suite; patch by GavinS <bugzilla@chimpychompy.org>;
 r=vladd, a=myk.

---
 runtests.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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