diff options
| -rwxr-xr-x | checksetup.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/checksetup.pl b/checksetup.pl index 76ef20732..a04623761 100755 --- a/checksetup.pl +++ b/checksetup.pl @@ -138,7 +138,7 @@ if ($ARGV[0] && ($ARGV[0] !~ /^--/)) { do $ARGV[0] or ($@ && die("Error $@ processing $ARGV[0]")) or die("Error $! processing $ARGV[0]"); - $silent = 1; + $silent = !grep(/^--no-silent$/, @ARGV); } ########################################################################### |