diff options
| author | olgeni <olgeni@FreeBSD.org> | 2014-08-29 13:44:02 +0800 |
|---|---|---|
| committer | olgeni <olgeni@FreeBSD.org> | 2014-08-29 13:44:02 +0800 |
| commit | 45232967646af8520e1574b8d1ae66736abc4593 (patch) | |
| tree | e66b32bc4fead31ec09fdac2bae9b297371f19ff /lang/erlang-runtime17 | |
| parent | ffc35738513309a3c396b872e6eadce32e7cfa10 (diff) | |
| download | freebsd-ports-gnome-45232967646af8520e1574b8d1ae66736abc4593.tar.gz freebsd-ports-gnome-45232967646af8520e1574b8d1ae66736abc4593.tar.zst freebsd-ports-gnome-45232967646af8520e1574b8d1ae66736abc4593.zip | |
Do not forcibly disable SMP in erlc.
SMP used to crash some builds a long time ago, but now it seems safe.
Diffstat (limited to 'lang/erlang-runtime17')
| -rw-r--r-- | lang/erlang-runtime17/Makefile | 1 | ||||
| -rw-r--r-- | lang/erlang-runtime17/files/patch-erts_etc_common_erlc.c | 13 |
2 files changed, 1 insertions, 13 deletions
diff --git a/lang/erlang-runtime17/Makefile b/lang/erlang-runtime17/Makefile index 5c30712d0f25..eda7fbaa7de8 100644 --- a/lang/erlang-runtime17/Makefile +++ b/lang/erlang-runtime17/Makefile @@ -3,6 +3,7 @@ PORTNAME= erlang PORTVERSION= 17.1 +PORTREVISION= 1 CATEGORIES= lang parallel java MASTER_SITES= http://www.erlang.org/download/:erlangorg \ http://erlang.stacken.kth.se/download/:erlangorg \ diff --git a/lang/erlang-runtime17/files/patch-erts_etc_common_erlc.c b/lang/erlang-runtime17/files/patch-erts_etc_common_erlc.c deleted file mode 100644 index ae65f91225ca..000000000000 --- a/lang/erlang-runtime17/files/patch-erts_etc_common_erlc.c +++ /dev/null @@ -1,13 +0,0 @@ - -$FreeBSD$ - ---- erts/etc/common/erlc.c.orig -+++ erts/etc/common/erlc.c -@@ -186,6 +186,7 @@ - */ - - PUSH("-noinput"); -+ PUSH2("-smp", "disable"); - PUSH2("-mode", "minimal"); - PUSH2("-boot", "start_clean"); - PUSH3("-s", "erl_compile", "compile_cmdline"); |