diff --git a/utils/renamer.pl b/utils/renamer.pl index 176eab9c5..fd6ce2a2b 100755 --- a/utils/renamer.pl +++ b/utils/renamer.pl @@ -70,7 +70,7 @@ for my $to (keys %toRename) { $_ .= ".$defaultExtension" for $pfrom, $pto; } if(-e $pfrom) { - print "Renaming '$pfrom' to '$pto'\n"; + print "Renaming '$pfrom' to '$pto'\n" if $verbose; system("cp", $pfrom, $pto); $did{$from} = 1; if (defined $license) {