diff options
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"; |