diff options
| -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"}]}, |