mirror of
https://github.com/MariaDB/server.git
synced 2025-01-17 20:42:30 +01:00
Don't add optimization flags to CFLAGS if the user specified their
own CFLAGS (ditto for CXXFLAGS). (Bug #12640)
This commit is contained in:
parent
746251a47c
commit
592a4c7cb3
1 changed files with 13 additions and 0 deletions
13
configure.in
13
configure.in
|
@ -1672,6 +1672,19 @@ if expr "$SYSTEM_TYPE" : ".*netware.*" > /dev/null; then
|
||||||
OPTIMIZE_CXXFLAGS="$OPTIMIZE_CXXFLAGS -DNDEBUG"
|
OPTIMIZE_CXXFLAGS="$OPTIMIZE_CXXFLAGS -DNDEBUG"
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
# If the user specified CFLAGS, we won't add any optimizations
|
||||||
|
if test -n "$SAVE_CFLAGS"
|
||||||
|
then
|
||||||
|
OPTIMIZE_CFLAGS=""
|
||||||
|
DEBUG_OPTIMIZE_CC=""
|
||||||
|
fi
|
||||||
|
# Ditto for CXXFLAGS
|
||||||
|
if test -n "$SAVE_CXXFLAGS"
|
||||||
|
then
|
||||||
|
OPTIMIZE_CXXFLAGS=""
|
||||||
|
DEBUG_OPTIMIZE_CXX=""
|
||||||
|
fi
|
||||||
|
|
||||||
AC_ARG_WITH(debug,
|
AC_ARG_WITH(debug,
|
||||||
[ --without-debug Build a production version without debugging code],
|
[ --without-debug Build a production version without debugging code],
|
||||||
[with_debug=$withval],
|
[with_debug=$withval],
|
||||||
|
|
Loading…
Reference in a new issue