diff options
Diffstat (limited to 'databases/riak/files/patch-rel-reltool.config')
| -rw-r--r-- | databases/riak/files/patch-rel-reltool.config | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/databases/riak/files/patch-rel-reltool.config b/databases/riak/files/patch-rel-reltool.config new file mode 100644 index 000000000000..dca083c2447c --- /dev/null +++ b/databases/riak/files/patch-rel-reltool.config @@ -0,0 +1,16 @@ +--- rel/reltool.config.orig 2013-09-17 20:53:23.000000000 +0200 ++++ rel/reltool.config 2013-09-17 20:55:40.000000000 +0200 +@@ -37,8 +37,12 @@ + {boot_rel, "riak"}, + {profile, embedded}, + {excl_sys_filters, ["^bin/.*", +- "^erts.*/bin/(dialyzer|typer)"]}, ++ "^erts.*/bin/(dialyzer|typer)", ++ "^erts.*/bin/(dialyzer|typer)", ++ "^erts.*/doc", ++ "^erts.*/man"]}, + {excl_archive_filters, [".*"]}, ++ {app, mnesia, [{incl_app_filters, ["ebin/*"]}]}, + {app, cluster_info, [{incl_cond, include}]}, + {app, erlang_js, [{incl_cond, include}]}, + {app, ebloom, []}, |