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-runtime15 | |
| 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-runtime15')
| -rw-r--r-- | lang/erlang-runtime15/Makefile | 2 | ||||
| -rw-r--r-- | lang/erlang-runtime15/files/patch-erts_etc_common_erlc.c | 13 |
2 files changed, 1 insertions, 14 deletions
diff --git a/lang/erlang-runtime15/Makefile b/lang/erlang-runtime15/Makefile index 41e010b0b330..0eaca3570a2f 100644 --- a/lang/erlang-runtime15/Makefile +++ b/lang/erlang-runtime15/Makefile @@ -3,7 +3,7 @@ PORTNAME= erlang PORTVERSION= 15.b.03.1 -PORTREVISION= 3 +PORTREVISION= 4 CATEGORIES= lang parallel java MASTER_SITES= http://www.erlang.org/download/:erlangorg \ http://erlang.stacken.kth.se/download/:erlangorg \ diff --git a/lang/erlang-runtime15/files/patch-erts_etc_common_erlc.c b/lang/erlang-runtime15/files/patch-erts_etc_common_erlc.c deleted file mode 100644 index ae65f91225ca..000000000000 --- a/lang/erlang-runtime15/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"); |