diff options
author | Solomon Peachy <pizza@shaftnet.org> | 2021-09-20 20:14:37 -0400 |
---|---|---|
committer | Solomon Peachy <pizza@shaftnet.org> | 2021-09-20 20:14:37 -0400 |
commit | 412e76b487e8c48e5ee086eac2f9b83dfb216096 (patch) | |
tree | 6e18e301650f735b18922f5d025fb5950f4f03f7 | |
parent | 672bbe434b12d4730cf270f7245753fb98cf162d (diff) |
configure: --no-ccache must disable CCACHE for $HOSTCC too!
Accomplish this by setting CCACHE_DISABLE=true
Change-Id: Ie930fc4e828ebb7a29234c1a8f371980489d5668
-rwxr-xr-x | tools/configure | 3 |
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} |