diff options
Diffstat (limited to 'lang/smlnj/files/patch-config___arch-n-opsys')
| -rw-r--r-- | lang/smlnj/files/patch-config___arch-n-opsys | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lang/smlnj/files/patch-config___arch-n-opsys b/lang/smlnj/files/patch-config___arch-n-opsys index 60321135842b..3d9ca98a4c99 100644 --- a/lang/smlnj/files/patch-config___arch-n-opsys +++ b/lang/smlnj/files/patch-config___arch-n-opsys @@ -1,6 +1,6 @@ ---- config/_arch-n-opsys.orig 2018-06-22 14:49:01 UTC +--- config/_arch-n-opsys.orig 2019-05-31 12:15:03 UTC +++ config/_arch-n-opsys -@@ -91,6 +91,8 @@ case `uname -s` in +@@ -97,6 +97,8 @@ case `uname -s` in HEAP_OPSYS=bsd case `uname -m` in *86) ARCH=x86;; |