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.'

mercurial