diff options
author | Fred Hebert <mononcqc@ferd.ca> | 2017-05-11 06:48:47 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-05-11 06:48:47 -0400 |
commit | ce0d8ee15c92968c987b173047e8b14d14a63318 (patch) | |
tree | 1e778dd351309a2b8873d098b9f296281684ee67 /src | |
parent | cc6afb716a072a9cc7d07444ae4b956a35584f28 (diff) | |
parent | 1783df5ad3ff0e632aedc2394674d627fa800241 (diff) |
Merge pull request #1544 from ferd/tpodowd-issue1416
Issue #1416: Merge erl_files_first separately and avoid sorting.
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 444b760..589dbb8 100644 --- a/src/rebar_opts.erl +++ b/src/rebar_opts.erl @@ -118,6 +118,10 @@ merge_opt({plugins, _}, NewValue, _OldValue) -> NewValue; merge_opt(profiles, NewValue, OldValue) -> dict:to_list(merge_opts(dict:from_list(NewValue), dict:from_list(OldValue))); +merge_opt(erl_first_files, Value, Value) -> + Value; +merge_opt(erl_first_files, NewValue, OldValue) -> + OldValue ++ NewValue; merge_opt(mib_first_files, Value, Value) -> Value; merge_opt(mib_first_files, NewValue, OldValue) -> |