summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xtools/configure3
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
4432 if test -n "$ccache"; then 4432 if test -n "$ccache"; then
4433 echo "Found and uses ccache ($ccache)" 4433 echo "Found and uses ccache ($ccache)"
4434 fi 4434 fi
4435else
4436 CCACHE_ARG="export CCACHE_DISABLE=true"
4435fi 4437fi
4436 4438
4437# figure out the full path to the various commands if possible 4439# figure out the full path to the various commands if possible
@@ -4724,6 +4726,7 @@ export ANDROID_NDK_PATH=${ANDROID_NDK_PATH}
4724export ANDROID_SDK_PATH=${ANDROID_SDK_PATH} 4726export ANDROID_SDK_PATH=${ANDROID_SDK_PATH}
4725export ANDROID_PLATFORM_VERSION=${ANDROID_PLATFORM_VERSION} 4727export ANDROID_PLATFORM_VERSION=${ANDROID_PLATFORM_VERSION}
4726export TOOLSET=${toolset} 4728export TOOLSET=${toolset}
4729$CCACHE_ARG
4727 4730
4728CONFIGURE_OPTIONS=${cmdline} 4731CONFIGURE_OPTIONS=${cmdline}
4729 4732