equal
deleted
inserted
replaced
1 #!/usr/bin/env bash |
|
2 # |
|
3 # Minimal Poly/ML startup script |
|
4 |
|
5 THIS="$(cd "$(dirname "$0")"; pwd)" |
|
6 |
|
7 export LD_LIBRARY_PATH="$THIS:$LD_LIBRARY_PATH" |
|
8 export DYLD_LIBRARY_PATH="$THIS:$DYLD_LIBRARY_PATH" |
|
9 |
|
10 exec "$THIS/poly" "$@" |
|
11 |
|