configure
changeset 3050 76f0d653b347
parent 1081 d41e88b07225
child 3051 15150ad771df
equal deleted inserted replaced
3046:92173d8a35d3 3050:76f0d653b347
    59 }
    59 }
    60 
    60 
    61 
    61 
    62 while [ "$1" ]
    62 while [ "$1" ]
    63 do
    63 do
    64    value="`echo $1 | sed 's/.*=\(.*\)/\1/'`"
    64    value="`echo $1 | sed 's/[^=]*=\(.*\)/\1/'`"
    65    if echo "$value" | grep -q "~"
    65    if echo "$value" | grep -q "~"
    66    then
    66    then
    67       echo
    67       echo
    68       echo '*WARNING*: the "~" sign is not expanded in flags.'
    68       echo '*WARNING*: the "~" sign is not expanded in flags.'
    69       echo 'If you mean the home directory, use $HOME instead.'
    69       echo 'If you mean the home directory, use $HOME instead.'