diff --git a/tools/configure b/tools/configure index 4f0917068d..4307f32b2d 100755 --- a/tools/configure +++ b/tools/configure @@ -69,7 +69,7 @@ findtool(){ # parse the argument list, returns the value after the = in case of a # option=value type option, returns 0 in case of --ccache or --no-ccache, # returns 1 if the searched argument type wasn't fount in the argument list -# Usage [var = ]`parse_args `, i.e. `parse_args target` +# Usage [var = ]`parse_args `, e.g. `parse_args --target` # var definitons below are needed so that parse_args can see the arguments arg1=$1 arg2=$2 arg3=$3 arg4=$4 arg5=$5 arg6=$6 arg7=$7 arg8=$8 arg9=$9 @@ -591,7 +591,7 @@ cat <&2 - if test -f "$path/$file"; then - echo "$path/$file" - return - fi - done if [ "1" != `parse_args --ccache` ]; then echo "Enable ccache for building"