summaryrefslogtreecommitdiff
path: root/autogen.sh
diff options
context:
space:
mode:
authorTor Lillqvist <tml@iki.fi>2013-05-08 13:35:04 +0300
committerTor Lillqvist <tml@iki.fi>2013-05-08 13:36:46 +0300
commitdf4fd344b7b5d5dfb7cbf2f7a91ed6e86a2aaef8 (patch)
tree0a21b15b4a7e76f7d459fd3f5aa83c0e95818238 /autogen.sh
parent4e42ce3271154904b7478b9ed5e6e6856b9235c2 (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-xautogen.sh1
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";