summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-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";