diff options
-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 | |||
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 |
4435 | else | ||
4436 | CCACHE_ARG="export CCACHE_DISABLE=true" | ||
4435 | fi | 4437 | fi |
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} | |||
4724 | export ANDROID_SDK_PATH=${ANDROID_SDK_PATH} | 4726 | export ANDROID_SDK_PATH=${ANDROID_SDK_PATH} |
4725 | export ANDROID_PLATFORM_VERSION=${ANDROID_PLATFORM_VERSION} | 4727 | export ANDROID_PLATFORM_VERSION=${ANDROID_PLATFORM_VERSION} |
4726 | export TOOLSET=${toolset} | 4728 | export TOOLSET=${toolset} |
4729 | $CCACHE_ARG | ||
4727 | 4730 | ||
4728 | CONFIGURE_OPTIONS=${cmdline} | 4731 | CONFIGURE_OPTIONS=${cmdline} |
4729 | 4732 | ||