From 77e215dcc598647103d1671383b843db3d4536f6 Mon Sep 17 00:00:00 2001 From: Evan Martin Date: Wed, 4 Jan 2012 20:01:04 -0800 Subject: warn on accidental args to configure --- configure.py | 3 +++ 1 file changed, 3 insertions(+) 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: -- cgit v0.12