diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/rebar_opts.erl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/rebar_opts.erl b/src/rebar_opts.erl index 47451c5..97f39b8 100644 --- a/src/rebar_opts.erl +++ b/src/rebar_opts.erl @@ -111,6 +111,10 @@ merge_opts(NewOpts, OldOpts) -> NewValue; (profiles, NewValue, OldValue) -> dict:to_list(merge_opts(dict:from_list(NewValue), dict:from_list(OldValue))); + (mib_first_files, Value, Value) -> + Value; + (mib_first_files, NewValue, OldValue) -> + OldValue ++ NewValue; (_Key, NewValue, OldValue) when is_list(NewValue) -> case io_lib:printable_list(NewValue) of true when NewValue =:= [] -> |