diff options
author | Tor Lillqvist <tml@iki.fi> | 2013-05-08 13:35:04 +0300 |
---|---|---|
committer | Tor Lillqvist <tml@iki.fi> | 2013-05-08 13:36:46 +0300 |
commit | df4fd344b7b5d5dfb7cbf2f7a91ed6e86a2aaef8 (patch) | |
tree | 0a21b15b4a7e76f7d459fd3f5aa83c0e95818238 /autogen.sh | |
parent | 4e42ce3271154904b7478b9ed5e6e6856b9235c2 (diff) |
Make it a fatal error to pass unrecognized options to the configury
It might hurt a bit in the beginning if you have been careless with keeping
your autogen.input up-to-date, but I think this is a good idea.
Change-Id: I6b89c887c94755ac6ef50f63e0438ecec7157516
Diffstat (limited to 'autogen.sh')
-rwxr-xr-x | autogen.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/autogen.sh b/autogen.sh index 0e61ee5a083e..7b1b72635b98 100755 --- a/autogen.sh +++ b/autogen.sh @@ -201,6 +201,7 @@ if (defined $ENV{NOCONFIGURE}) { } } push @args, "--srcdir=$src_path"; + push @args, "--enable-option-checking=fatal"; print "Running ./configure with '" . join ("' '", @args), "'\n"; system ("./configure", @args) && die "Error running configure"; |