configure
changeset 3051 15150ad771df
parent 2316 049cebba35bf
parent 3050 76f0d653b347
child 3306 59d56fd49e38
equal deleted inserted replaced
3049:e54774bd73a7 3051:15150ad771df
    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.'