diff options
| author | Jimmy Olgeni <olgeni@FreeBSD.org> | 2012-11-27 21:34:53 +0000 |
|---|---|---|
| committer | Jimmy Olgeni <olgeni@FreeBSD.org> | 2012-11-27 21:34:53 +0000 |
| commit | bfe3323fa36f8307d24157f8b7be8c2157ac7692 (patch) | |
| tree | a5e7f93dfbbc1385d1d87c94c56694ab61ebd69a /lang/erlang | |
| parent | 3bcd3fdd2587dea04c78299088b3d6d58a909ced (diff) | |
| download | ports-bfe3323fa36f8307d24157f8b7be8c2157ac7692.tar.gz ports-bfe3323fa36f8307d24157f8b7be8c2157ac7692.zip | |
Notes
Diffstat (limited to 'lang/erlang')
| -rw-r--r-- | lang/erlang/Makefile | 2 | ||||
| -rw-r--r-- | lang/erlang/files/patch-lib_runtime__tools_src_observer__backend.erl | 14 |
2 files changed, 15 insertions, 1 deletions
diff --git a/lang/erlang/Makefile b/lang/erlang/Makefile index f0b80c5478bb..e0d1638be204 100644 --- a/lang/erlang/Makefile +++ b/lang/erlang/Makefile @@ -7,7 +7,7 @@ PORTNAME= erlang PORTVERSION= 15.b.02 -PORTREVISION= 1 +PORTREVISION= 2 PORTEPOCH= 2 CATEGORIES= lang parallel java MASTER_SITES= http://www.erlang.org/download/:erlangorg \ diff --git a/lang/erlang/files/patch-lib_runtime__tools_src_observer__backend.erl b/lang/erlang/files/patch-lib_runtime__tools_src_observer__backend.erl new file mode 100644 index 000000000000..9980577fa6c6 --- /dev/null +++ b/lang/erlang/files/patch-lib_runtime__tools_src_observer__backend.erl @@ -0,0 +1,14 @@ + +$FreeBSD$ + +--- lib/runtime_tools/src/observer_backend.erl.orig ++++ lib/runtime_tools/src/observer_backend.erl +@@ -83,7 +83,7 @@ + ets -> ets:info(Table, size); + mnesia -> mnesia:table_info(Table, size) + end, +- case Size > 0 of ++ case Size =/= undefined andalso Size > 0 of + false -> + Parent ! {self(), '$end_of_table'}, + normal; |