1 files changed, 2 insertions, 2 deletions
diff --git a/tools/release/sims.pl b/tools/release/sims.pl
index 9326117..fbf868f 100755
--- a/tools/release/sims.pl
+++ b/tools/release/sims.pl
@@ -85,7 +85,7 @@ sub runone {
     my ($dir, $confnum, $extra)=@_;
     my $a;
 
-    if(!grep(/$dir/, @doonly)) {
+    if(@doonly > 0 && !grep(/$dir/, @doonly)) {
         return;
     }
 
@@ -127,7 +127,7 @@ sub runone {
     chdir($toplevel);
 
     print "remove all contents in $newo\n" if($verbose);
-#    system("rm -rf $newo");
+    system("rm -rf $newo");
 
     return $a;
 };