improved;
authorwenzelm
Wed, 07 Feb 2001 20:56:40 +0100
changeset 11082 9a7cdfaa7ecb
parent 11081 ce9a6746cd1e
child 11083 d8fda557e476
improved;
Admin/polyml/bin/polyml
--- a/Admin/polyml/bin/polyml	Wed Feb 07 17:40:56 2001 +0100
+++ b/Admin/polyml/bin/polyml	Wed Feb 07 20:56:40 2001 +0100
@@ -1,12 +1,14 @@
-#!/bin/sh -x
+#!/bin/sh
 #
-# Poly/ML wrapper script
+# platform independent Poly/ML wrapper script
 
 
 ## self references
 
+PRG="`basename "$0"`"
+
 if [ -h "$0" ]; then
-  THIS="`cd "\`dirname "$0"\`"; cd "\`dirname "\\\`find "$PRG" -ls | cut -d ">" -f 2\\\`"\`"; pwd`"
+  THIS="`cd "\`dirname "$0"\`"; cd "\`dirname "\\\`ls -l "$PRG" | sed -e 's/^.* -> //'\\\`"\`"; pwd`"
 else
   THIS="`cd "\`dirname "$0"\`"; pwd`"
 fi