changeset 63229 | f951c624c1a1 |
parent 63228 | acfa595636c7 |
child 63230 | ae5275fa96dc |
--- a/Admin/polyml/polyml Sat Jun 04 16:23:42 2016 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,10 +0,0 @@ -#!/usr/bin/env bash -# -# Minimal Poly/ML startup script - -THIS="$(cd "$(dirname "$0")"; pwd)" - -export LD_LIBRARY_PATH="$THIS:$LD_LIBRARY_PATH" -export DYLD_LIBRARY_PATH="$THIS:$DYLD_LIBRARY_PATH" - -exec "$THIS/poly" "$@"