mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-26 00:55:14 +00:00
10 lines
130 B
Bash
10 lines
130 B
Bash
#!/bin/sh
|
|
|
|
USERDB="$HOME/.polyml/ML_dbase"
|
|
if [ ! -f "$USERDB" ]; then
|
|
USERDB=""
|
|
fi
|
|
|
|
exec %%PREFIX%%/lib/polyml/poly $USERDB $*
|
|
|