--- a/Admin/polyml/bin/polyml Mon Aug 01 19:20:48 2005 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,22 +0,0 @@
-#!/bin/sh
-#
-# platform independent Poly/ML wrapper script
-
-
-## self references
-
-PRG="`basename "$0"`"
-
-if [ -h "$0" ]; then
- THIS="`cd "\`dirname "$0"\`"; cd "\`dirname "\\\`ls -l "$PRG" | sed -e 's/^.* -> //'\\\`"\`"; pwd`"
-else
- THIS="`cd "\`dirname "$0"\`"; pwd`"
-fi
-
-SUPER="`cd "$THIS/.."; pwd`"
-
-
-## run poly
-
-PLATFORM=`"$THIS/polyml-platform"`
-exec "$SUPER/$PLATFORM/poly" $*