From 46b75eb54bf19aa0eeb9d362b5387892fd2c2dfd Mon Sep 17 00:00:00 2001 From: Guillaume Bonnet Date: Wed, 3 Feb 2016 16:29:53 +0100 Subject: [PATCH] configure: Move --disable-option-checking to a more appropriate location --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure b/configure index 3a9051051da..db3ca2eecbb 100755 --- a/configure +++ b/configure @@ -585,7 +585,6 @@ fi BOOL_OPTIONS="" VAL_OPTIONS="" -opt option-checking 1 "complain about unrecognized options" opt debug 0 "debug mode; disables optimization unless \`--enable-optimize\` given" opt valgrind 0 "run tests with valgrind (memcheck by default)" opt helgrind 0 "run tests with helgrind instead of memcheck" @@ -610,6 +609,7 @@ opt llvm-version-check 1 "check if the LLVM version is supported, build anyway" opt rustbuild 0 "use the rust and cargo based build system" opt orbit 0 "get MIR where it belongs - everywhere; most importantly, in orbit" opt codegen-tests 1 "run the src/test/codegen tests" +opt option-checking 1 "complain about unrecognized options in this configure script" # Optimization and debugging options. These may be overridden by the release channel, etc. opt_nosave optimize 1 "build optimized rust code"