| 123456789101112 |
- --- bin/.java_wrapper Thu Dec 20 16:46:33 2001
- +++ bin/.java_wrapper Thu Dec 20 16:46:26 2001
- @@ -35,7 +35,7 @@
- while [ -L "$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"
|
