From 818b60567561aadeb3ee6e205eda5f7f3982a7c0 Mon Sep 17 00:00:00 2001 From: Thomas Nagy Date: Wed, 7 Dec 2011 03:27:43 +0100 Subject: [PATCH] Fix for Issue 1076 --- waflib/Scripting.py | 1 + 1 file changed, 1 insertion(+) diff --git a/waflib/Scripting.py b/waflib/Scripting.py index 00d4598e..84764313 100644 --- a/waflib/Scripting.py +++ b/waflib/Scripting.py @@ -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