diff options
Diffstat (limited to 'lib/make/setup_configuration.pl')
| -rwxr-xr-x | lib/make/setup_configuration.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/make/setup_configuration.pl b/lib/make/setup_configuration.pl index 3f455d57..bb027282 100755 --- a/lib/make/setup_configuration.pl +++ b/lib/make/setup_configuration.pl @@ -125,7 +125,7 @@ sub SetConfigureEnv # while ($commandline =~ /^(.*)\s+(\w+)\s*=\s*([_+\-\.\w\\\/\s]*)\s*/) while ($commandline =~ /^(.*)\s*\b(\w+)\s*=\s*(.*?)\s*$/) { - if ($2 ne 'options' && $2 ne 'SILENT') + if ($2 ne 'options' && $2 ne 'VERBOSE') { print "Using configuration options from configure line\n" if (!$line_number); |