mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-01-18 13:02:28 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Increase speed of recompiles for debug mysql

Browse source
This commit is contained in:
Yoni Fogel 2013-06-21 12:03:02 -07:00
parent 13aaf77028
commit 6583bd6d62
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
scripts/make.mysql.debug.env.bash
View file

@ -128,7 +128,7 @@ mkdir $mysql/build.debug
if [ $? != 0 ] ; then exit 1; fi
pushd $mysql/build.debug
if [ $? != 0 ] ; then exit 1; fi
extra_cmake_options=
extra_cmake_options="-DCMAKE_LINK_DEPENDS_NO_SHARED=ON"
if (( $cmake_valgrind )) ; then
extra_cmake_options+=" -DUSE_VALGRIND=ON"
fi