mirror of
https://github.com/MariaDB/server.git
synced 2025-01-18 04:53:01 +01:00
Merge monty@192.168.0.9:/home/my/mysql-5.1
into mysql.com:/home/my/mysql-5.1
This commit is contained in:
commit
a49e1f4edf
1 changed files with 3 additions and 0 deletions
|
@ -9,6 +9,9 @@ then
|
|||
if test "$CCACHE_VER" == "2.4-gcov"
|
||||
then
|
||||
CCACHE_GCOV_VERSION_ENABLED=1
|
||||
else
|
||||
CCACHE_DISABLE=1
|
||||
export CCACHE_DISABLE
|
||||
fi
|
||||
fi
|
||||
export CCACHE_GCOV_VERSION_ENABLED
|
||||
|
|
Loading…
Reference in a new issue