diff options
| author | Richo Healey <richo@psych0tik.net> | 2015-04-14 00:58:57 -0700 |
|---|---|---|
| committer | Richo Healey <richo@psych0tik.net> | 2015-04-14 00:58:57 -0700 |
| commit | fd69ac160b7252b2acaebaae02535b3f8c27dfb7 (patch) | |
| tree | c140d0311802c6e83029d9ce938a3c8879e6f680 | |
| parent | 87efd2cd744aa9547e902d8acb5473ed3d1f9b7a (diff) | |
configure: Turn optimization back on iff --enable-optimize
| -rwxr-xr-x | configure | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/configure b/configure index 4d576323f00..18fef588936 100755 --- a/configure +++ b/configure @@ -645,6 +645,11 @@ esac # Adjust perf and debug options for debug mode if [ -n "$CFG_ENABLE_DEBUG" ]; then msg "debug mode enabled, setting performance options" + if [ -z "$CFG_ENABLE_OPTIMIZE_PROVIDED" ]; then + msg "optimization not explicitly enabled, disabling optimization" + CFG_DISABLE_OPTIMIZE=1 + CFG_DISABLE_OPTIMIZE_CXX=1 + fi CFG_ENABLE_LLVM_ASSERTIONS=1 CFG_ENABLE_DEBUG_ASSERTIONS=1 CFG_ENABLE_DEBUG_JEMALLOC=1 |