diff options
-rwxr-xr-x | tools/release/sims.pl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/release/sims.pl b/tools/release/sims.pl index 932611794b..fbf868f541 100755 --- a/tools/release/sims.pl +++ b/tools/release/sims.pl | |||
@@ -85,7 +85,7 @@ sub runone { | |||
85 | my ($dir, $confnum, $extra)=@_; | 85 | my ($dir, $confnum, $extra)=@_; |
86 | my $a; | 86 | my $a; |
87 | 87 | ||
88 | if(!grep(/$dir/, @doonly)) { | 88 | if(@doonly > 0 && !grep(/$dir/, @doonly)) { |
89 | return; | 89 | return; |
90 | } | 90 | } |
91 | 91 | ||
@@ -127,7 +127,7 @@ sub runone { | |||
127 | chdir($toplevel); | 127 | chdir($toplevel); |
128 | 128 | ||
129 | print "remove all contents in $newo\n" if($verbose); | 129 | print "remove all contents in $newo\n" if($verbose); |
130 | # system("rm -rf $newo"); | 130 | system("rm -rf $newo"); |
131 | 131 | ||
132 | return $a; | 132 | return $a; |
133 | }; | 133 | }; |