diff options
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: |