diff options
Diffstat (limited to 'lang/ETHOberonV4/scripts/MakeStartV4')
| -rw-r--r-- | lang/ETHOberonV4/scripts/MakeStartV4 | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/lang/ETHOberonV4/scripts/MakeStartV4 b/lang/ETHOberonV4/scripts/MakeStartV4 new file mode 100644 index 000000000000..08796a3ffe43 --- /dev/null +++ b/lang/ETHOberonV4/scripts/MakeStartV4 @@ -0,0 +1,12 @@ +#!/bin/sh +cat <<EOF > /tmp/$$StartV4 +#!/bin/sh +if [ X"\$DISPLAY" = X"" ] ; then + echo this script should be started from within X 1>&2 + exit 1; +fi +OBERON=.:PREFIX/lib/ETHOberonV4 PREFIX/lib/ETHOberonV4/oberon & +EOF +sed -e "1,\$ s,PREFIX,$1,g" < /tmp/$$StartV4 > $1/bin/StartV4 +rm -f /tmp/$$StartV4 +chmod +x $1/bin/StartV4 |