diff -U3 /usr/local/ant/bin/ant\~ /usr/local/ant/bin/ant
--- /usr/local/ant/bin/ant~ Fri Dec 21 17:32:55 2001
+++ /usr/local/ant/bin/ant Fri Dec 21 18:04:44 2001
@@ -29,7 +29,7 @@
while [ -h "$PRG" ] ; do
ls=`ls -ld "$PRG"`
link=`expr "$ls" : '.*-> \(.*\)$'`
- if expr "$link" : '.*/.*' > /dev/null; then
+ if expr "$link" : '/.*' > /dev/null; then
PRG="$link"
else
PRG="`dirname $PRG`/$link"
--
To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]>
For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>