lib/scripts/tools.pl
changeset 42124 7519c7c33017
parent 42077 96c50a4210a2
child 48858 86816c61b5ca
--- a/lib/scripts/tools.pl	Sat Mar 26 16:10:22 2011 +0100
+++ b/lib/scripts/tools.pl	Sat Mar 26 16:21:41 2011 +0100
@@ -14,7 +14,7 @@
     if (opendir DIR, $dir) {
       for my $name (readdir DIR) {
         my $file = "$dir/$name";
-        if (-f $file and -x $file and !($file =~ /~$/)) {
+        if (-f $file and -x $file and !($file =~ /~$/ or $file =~ /\.orig$/)) {
           if (open FILE, $file) {
             my $description;
             while (<FILE>) {