configure: --no-ccache must disable CCACHE for $HOSTCC too!

Accomplish this by setting CCACHE_DISABLE=true

Change-Id: Ie930fc4e828ebb7a29234c1a8f371980489d5668

1 files changed, 3 insertions, 0 deletions

diff --git a/tools/configure b/tools/configure
index 4aaf0befb6..3e66785af4 100755
--- a/tools/configure
+++ b/tools/configure
@@ -4432,6 +4432,8 @@ elif [ "$ARG_CCACHE" != "0" ]; then
   if test -n "$ccache"; then
     echo "Found and uses ccache ($ccache)"
   fi
+else
+  CCACHE_ARG="export CCACHE_DISABLE=true"
 fi
 
 # figure out the full path to the various commands if possible
@@ -4724,6 +4726,7 @@ export ANDROID_NDK_PATH=${ANDROID_NDK_PATH}
 export ANDROID_SDK_PATH=${ANDROID_SDK_PATH}
 export ANDROID_PLATFORM_VERSION=${ANDROID_PLATFORM_VERSION}
 export TOOLSET=${toolset}
+$CCACHE_ARG
 
 CONFIGURE_OPTIONS=${cmdline}