diff options
| -rw-r--r-- | lang/erlang/files/patch-erts_etc_unix_Install.src | 11 | ||||
| -rw-r--r-- | lang/erlang14/files/patch-erts_etc_unix_Install.src | 11 |
2 files changed, 22 insertions, 0 deletions
diff --git a/lang/erlang/files/patch-erts_etc_unix_Install.src b/lang/erlang/files/patch-erts_etc_unix_Install.src new file mode 100644 index 000000000000..68cbe91a4bdc --- /dev/null +++ b/lang/erlang/files/patch-erts_etc_unix_Install.src @@ -0,0 +1,11 @@ + +$FreeBSD$ + +--- erts/etc/unix/Install.src.orig ++++ erts/etc/unix/Install.src +@@ -148,4 +148,4 @@ + ./misc/format_man_pages $ERL_ROOT + fi + +- ++exit 0 diff --git a/lang/erlang14/files/patch-erts_etc_unix_Install.src b/lang/erlang14/files/patch-erts_etc_unix_Install.src new file mode 100644 index 000000000000..68cbe91a4bdc --- /dev/null +++ b/lang/erlang14/files/patch-erts_etc_unix_Install.src @@ -0,0 +1,11 @@ + +$FreeBSD$ + +--- erts/etc/unix/Install.src.orig ++++ erts/etc/unix/Install.src +@@ -148,4 +148,4 @@ + ./misc/format_man_pages $ERL_ROOT + fi + +- ++exit 0 |