diff options
| author | Jack Lloyd <[email protected]> | 2016-10-11 14:04:09 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2016-10-11 14:04:09 -0400 |
| commit | 837ff4ee24cb302da0a17e07ebab8ab1ef9204ca (patch) | |
| tree | bebe29c8c95c5934e8f2286847e0eb617e50b1ae | |
| parent | a718dc8c1e618adc9ee4485cc9a49484f27a446c (diff) | |
configure: Sort the generated makefile lists [ci skip]
| -rwxr-xr-x | configure.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configure.py b/configure.py index 037d47d54..f314a9d57 100755 --- a/configure.py +++ b/configure.py @@ -1216,6 +1216,7 @@ def gen_makefile_lists(var, build_config, options, modules, cc, arch, osinfo): for t in ['lib', 'cli', 'test']: obj_key = '%s_objs' % (t) src_list, src_dir = build_config.src_info(t) + src_list.sort() var[obj_key] = makefile_list(objectfile_list(src_list, src_dir)) build_key = '%s_build_cmds' % (t) var[build_key] = '\n'.join(build_commands(src_list, src_dir, t.upper())) |