diff options
| author | Thomas O'Dowd <tpodowd@cloudian.com> | 2016-12-20 17:03:37 +0900 |
|---|---|---|
| committer | Fred Hebert <mononcqc@ferd.ca> | 2017-05-11 06:23:08 -0400 |
| commit | a1f47427093daa060ab510e099de3947430bdb8d (patch) | |
| tree | de6e47c080bb3082dd4d5a523ab21e22b60e7b05 /bootstrap.bat | |
| parent | cc6afb716a072a9cc7d07444ae4b956a35584f28 (diff) | |
Issue #1416: Merge erl_files_first separately and avoid sorting.
The order of the files listed in "erl_files_first" option is
important and should not be sorted. By handling the merge
similarly to mib_files_first, the sort order is preserved.
Diffstat (limited to 'bootstrap.bat')
0 files changed, 0 insertions, 0 deletions