diff options
-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())) |