summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLinus Nordberg <linus@nordberg.se>2015-04-13 21:16:51 +0200
committerLinus Nordberg <linus@nordberg.se>2015-04-13 21:17:25 +0200
commit83eccfc7be7fcfbc873e922a58265793dafef3ae (patch)
tree86cd79387298c2c6e899026fc43fd4c74082f583
parentcf6e64bf94677092ef94a6f4ed7c1391dcd43f23 (diff)
[reltool] Use profile standalone.
Decreases the size of the release directory by 50%.
-rw-r--r--reltool.config2
1 files changed, 2 insertions, 0 deletions
diff --git a/reltool.config b/reltool.config
index c40be85..07f8ded 100644
--- a/reltool.config
+++ b/reltool.config
@@ -10,6 +10,8 @@
catlfish
]},
{boot_rel, "catlfish"},
+ {profile, standalone},
+ {incl_sys_filters, ["^bin/", "^erts-.*/", "^lib"]},
{incl_app_filters, ["^ebin/", "^priv/", "^src/"]},
{app, catlfish, [{app_file, all}, {lib_dir, "."}]},
{app, plop, [{app_file, all}, {lib_dir, "../plop"}]},