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 | |||
3004 | fi | 3004 | fi |
3005 | 3005 | ||
3006 | #### Fix the cmdline ### | 3006 | #### Fix the cmdline ### |
3007 | if test -n "$ccache"; then | 3007 | if [ "$ARG_CCACHE" = "1" ]; then |
3008 | cmdline="--ccache " | 3008 | cmdline="--ccache " |
3009 | elif [ "$ARG_CCACHE" = "0" ]; then | ||
3010 | cmdline="--no-ccache " | ||
3009 | fi | 3011 | fi |
3010 | if [ "$ARG_ARM_EABI" = "1" ]; then | 3012 | if [ "$ARG_ARM_EABI" = "1" ]; then |
3011 | cmdline="$cmdline--eabi " | 3013 | cmdline="$cmdline--eabi " |