diff options
Diffstat (limited to 'BUILD/SETUP.sh')
-rwxr-xr-x | BUILD/SETUP.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/BUILD/SETUP.sh b/BUILD/SETUP.sh index d2534d42b33..9ce2570746b 100755 --- a/BUILD/SETUP.sh +++ b/BUILD/SETUP.sh @@ -187,6 +187,12 @@ fi # (http://samba.org/ccache) is installed, use it. # We use 'grep' and hope 'grep' will work as expected # (returns 0 if finds lines) +if test "$USING_GCOV" != "1" +then + # Not using gcov; Safe to use ccache + CCACHE_GCOV_VERSION_ENABLED=1 +fi + if ccache -V > /dev/null 2>&1 && test "$CCACHE_GCOV_VERSION_ENABLED" = "1" then echo "$CC" | grep "ccache" > /dev/null || CC="ccache $CC" |