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 1f7297e..35100c2 100644 --- a/reltool.config +++ b/reltool.config @@ -11,6 +11,7 @@ catlfish ]}, {boot_rel, "catlfish"}, + {excl_archive_filters, ["^include$","^priv$","^\\.git$"]}, {app, catlfish, [{app_file, all}]} %% {app, plop, [{mod_cond, app}, {incl_cond, include}, {lib_dir, "../plop"}]} ]}. |