diff options
| author | Jimmy Olgeni <olgeni@FreeBSD.org> | 2014-08-29 05:44:02 +0000 |
|---|---|---|
| committer | Jimmy Olgeni <olgeni@FreeBSD.org> | 2014-08-29 05:44:02 +0000 |
| commit | 9d99af9d04f1d08e35f5fa944fea3e12e67bb791 (patch) | |
| tree | e66b32bc4fead31ec09fdac2bae9b297371f19ff /lang/erlang/files | |
| parent | 216d9aefb7b8aa655dcd7bffe630068e8406f5c4 (diff) | |
Notes
Diffstat (limited to 'lang/erlang/files')
| -rw-r--r-- | lang/erlang/files/patch-erts_etc_common_erlc.c | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/lang/erlang/files/patch-erts_etc_common_erlc.c b/lang/erlang/files/patch-erts_etc_common_erlc.c deleted file mode 100644 index ae65f91225ca..000000000000 --- a/lang/erlang/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"); |