diff options
-rwxr-xr-x | build/gen-build.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/build/gen-build.py b/build/gen-build.py index 245be34fa..aa94c33f3 100755 --- a/build/gen-build.py +++ b/build/gen-build.py @@ -180,7 +180,9 @@ def write_objects(f, legal_deps, h_deps, files): for hdr in deps.keys(): deps.update(h_deps.get(hdr, {})) - f.write('%s: %s .make.dirs %s\n' % (obj, file, string.join(sorted(deps.values())))) + vals = deps.values() + vals.sort() + f.write('%s: %s .make.dirs %s\n' % (obj, file, string.join(vals))) objects.sort() |