diff options
author | Evan Martin <martine@danga.com> | 2012-01-05 04:01:04 (GMT) |
---|---|---|
committer | Evan Martin <martine@danga.com> | 2012-01-05 04:04:09 (GMT) |
commit | 77e215dcc598647103d1671383b843db3d4536f6 (patch) | |
tree | 3c65c3a702757e54f690a0450943a7c59ba3b797 | |
parent | 7311f3b583c739f862ae17c3925985ec3ea244f5 (diff) | |
download | Ninja-77e215dcc598647103d1671383b843db3d4536f6.zip Ninja-77e215dcc598647103d1671383b843db3d4536f6.tar.gz Ninja-77e215dcc598647103d1671383b843db3d4536f6.tar.bz2 |
warn on accidental args to configure
-rwxr-xr-x | configure.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/configure.py b/configure.py index 48ccae9..8f4ec24 100755 --- a/configure.py +++ b/configure.py @@ -46,6 +46,9 @@ parser.add_option('--with-python', metavar='EXE', help='use EXE as the Python interpreter', default=os.path.basename(sys.executable)) (options, args) = parser.parse_args() +if args: + print 'ERROR: extra unparsed command-line arguments:', args + sys.exit(1) platform = options.platform if platform is None: |