diff options
| -rwxr-xr-x | checksetup.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/checksetup.pl b/checksetup.pl index a04623761..8fc37f2ad 100755 --- a/checksetup.pl +++ b/checksetup.pl @@ -313,7 +313,7 @@ my $patchreader = have_vers("PatchReader",0); print "\n" unless $silent; -if ($^O =~ /MSWin32/i) { +if ($^O =~ /MSWin32/i && !$silent) { if ($^V lt pack('U*',5,8,0)) { # If something older than 5.8 is detected, then point to the oi # repository using ppm version 2 commands (which is the default |