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 /configure.py | |
| parent | 7311f3b583c739f862ae17c3925985ec3ea244f5 (diff) | |
| download | Ninja-77e215dcc598647103d1671383b843db3d4536f6.zip Ninja-77e215dcc598647103d1671383b843db3d4536f6.tar.gz Ninja-77e215dcc598647103d1671383b843db3d4536f6.tar.bz2 | |
warn on accidental args to configure
Diffstat (limited to 'configure.py')
| -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: |