diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/configure b/tools/configure index f017843..b7fa988 100755 --- a/tools/configure +++ b/tools/configure @@ -2668,7 +2668,7 @@ fi if [ "$ARG_CCACHE" = "1" ]; then echo "Enable ccache for building" ccache="ccache" -elif [ "$ARG_CCACHE" = "0" ]; then +elif [ "$ARG_CCACHE" != "0" ]; then ccache=`findtool ccache` if test -n "$ccache"; then echo "Found and uses ccache ($ccache)" |