2
0
mirror of https://gitlab.com/ita1024/waf.git synced 2024-11-25 19:30:04 +01:00

Fix for Issue 1076

This commit is contained in:
Thomas Nagy 2011-12-07 03:27:43 +01:00
parent 5bf4fe72fd
commit 818b605675

View File

@ -187,6 +187,7 @@ def parse_options():
if not Options.commands:
Options.commands = [default_cmd]
Options.commands = [x for x in Options.commands if x != 'options'] # issue 1076
# process some internal Waf options
Logs.verbose = Options.options.verbose