summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xtools/configure4
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/configure b/tools/configure
index ef4d73ad29..d091e3258d 100755
--- a/tools/configure
+++ b/tools/configure
@@ -3004,8 +3004,10 @@ if test "$apps" = "apps"; then
fi
#### Fix the cmdline ###
-if test -n "$ccache"; then
+if [ "$ARG_CCACHE" = "1" ]; then
cmdline="--ccache "
+elif [ "$ARG_CCACHE" = "0" ]; then
+ cmdline="--no-ccache "
fi
if [ "$ARG_ARM_EABI" = "1" ]; then
cmdline="$cmdline--eabi "