From afd96d64986b45faa7c04abf3e8b04516a66954c Mon Sep 17 00:00:00 2001
From: "knielsen/pushbuild@production.mysql.com" <>
Date: Tue, 28 Nov 2006 22:31:05 +0100
Subject: [PATCH] More fully disable ccache when not compatible with gcov. This
 helps on systems where `which gcc` really points to ccache.

---
 BUILD/compile-pentium-gcov | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/BUILD/compile-pentium-gcov b/BUILD/compile-pentium-gcov
index 5633efaddf0..c3208a8a267 100755
--- a/BUILD/compile-pentium-gcov
+++ b/BUILD/compile-pentium-gcov
@@ -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