diff options
Diffstat (limited to 'lang/mlton/files/patch-bin-mlton_script')
| -rw-r--r-- | lang/mlton/files/patch-bin-mlton_script | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/lang/mlton/files/patch-bin-mlton_script b/lang/mlton/files/patch-bin-mlton_script deleted file mode 100644 index 88f9a5bb587a..000000000000 --- a/lang/mlton/files/patch-bin-mlton_script +++ /dev/null @@ -1,18 +0,0 @@ ---- bin/mlton-script.orig 2008-04-22 21:15:23.000000000 +1000 -+++ bin/mlton-script 2008-04-22 21:18:33.000000000 +1000 -@@ -19,14 +19,7 @@ - mlton="$lib/mlton-compile$exe" - world="$lib/world.mlton" - nj='sml' --# Try to use the SML/NJ .arch-n-opsys --if .arch-n-opsys >/dev/null 2>&1; then -- eval `.arch-n-opsys` -- njHeap="$lib/mlton.$HEAP_SUFFIX" -- unset `.arch-n-opsys | sed 's#=[^ ]*##g'` --else -- njHeap="$lib/mlton.$HOST_ARCH-$HOST_OS" --fi -+njHeap="$lib/mlton.x86-bsd" - - declare -a rargs - case "$1" in |