diff options
Diffstat (limited to 'lib/reltool/src/reltool.hrl')
| -rw-r--r-- | lib/reltool/src/reltool.hrl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/reltool/src/reltool.hrl b/lib/reltool/src/reltool.hrl index 26dcd82447..c0736bb4c8 100644 --- a/lib/reltool/src/reltool.hrl +++ b/lib/reltool/src/reltool.hrl @@ -233,6 +233,7 @@ rels :: [#rel{}], emu_name :: emu_name(), profile :: profile(), + excl_lib :: otp_root, incl_sys_filters :: [#regexp{}], excl_sys_filters :: [#regexp{}], incl_app_filters :: [#regexp{}], |