diff options
Diffstat (limited to 'reltool.config')
| -rw-r--r-- | reltool.config | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/reltool.config b/reltool.config index 9fa5e7f..896aaf4 100644 --- a/reltool.config +++ b/reltool.config @@ -8,6 +8,7 @@ {incl_sys_filters, ["^bin/", "^erts-.*/", "^lib"]}, {incl_app_filters, ["^ebin/", "^priv/", "^src/"]}, {app, catlfish, [{app_file, all}, {lib_dir, "."}]}, + {escript, "./verifycert.erl", [{incl_cond, include}]}, {app, plop, [{app_file, all}, {lib_dir, "../plop"}]}, {app, mochiweb, [{app_file, all}, {lib_dir, "../mochiweb"}]}, {app, idna, [{app_file, all}, {lib_dir, "../hackney/deps/idna"}]}, |