mirror of
https://github.com/MariaDB/server.git
synced 2025-09-05 08:04:25 +03:00
More fully disable ccache when not compatible with gcov.
This helps on systems where `which gcc` really points to ccache.
This commit is contained in:

parent
93f246d4c1
commit
afd96d6498
@@ -9,6 +9,9 @@ then
|
|||||||
if test "$CCACHE_VER" == "2.4-gcov"
|
if test "$CCACHE_VER" == "2.4-gcov"
|
||||||
then
|
then
|
||||||
CCACHE_GCOV_VERSION_ENABLED=1
|
CCACHE_GCOV_VERSION_ENABLED=1
|
||||||
|
else
|
||||||
|
CCACHE_DISABLE=1
|
||||||
|
export CCACHE_DISABLE
|
||||||
fi
|
fi
|
||||||
fi
|
fi
|
||||||
export CCACHE_GCOV_VERSION_ENABLED
|
export CCACHE_GCOV_VERSION_ENABLED
|
||||||
|
Reference in New Issue
Block a user