diff options
| author | Linus Nordberg <linus@nordberg.se> | 2015-04-13 21:16:51 +0200 |
|---|---|---|
| committer | Linus Nordberg <linus@nordberg.se> | 2015-04-13 21:17:25 +0200 |
| commit | 83eccfc7be7fcfbc873e922a58265793dafef3ae (patch) | |
| tree | 86cd79387298c2c6e899026fc43fd4c74082f583 /reltool.config | |
| parent | cf6e64bf94677092ef94a6f4ed7c1391dcd43f23 (diff) | |
[reltool] Use profile standalone.
Decreases the size of the release directory by 50%.
Diffstat (limited to 'reltool.config')
| -rw-r--r-- | reltool.config | 2 |
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"}]}, |