diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/configure | 4 |
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 " |