diff options
author | Dimitry Andric <dim@FreeBSD.org> | 2021-02-13 13:04:04 +0000 |
---|---|---|
committer | Dimitry Andric <dim@FreeBSD.org> | 2021-02-13 13:04:04 +0000 |
commit | 8f67d37de16f4d4a3c64b754a079789ce8ad1b25 (patch) | |
tree | f70a7f1a49f2036e84a115da7b6b718d2c702e41 /gen-make.py | |
parent | bbee6e0814d5875b85b81f26fd4ca7a28b6f9570 (diff) |
Diffstat (limited to 'gen-make.py')
-rwxr-xr-x | gen-make.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gen-make.py b/gen-make.py index bdb359394e1c..5811705322cc 100755 --- a/gen-make.py +++ b/gen-make.py @@ -70,7 +70,7 @@ def main(fname, gentype, verfname=None, if ('--debug', '') in other_options: for dep_type, target_dict in generator.graph.deps.items(): - sorted_targets = list(target_dict.keys()); sorted_targets.sort() + sorted_targets = sorted(target_dict.keys(), key=str) for target in sorted_targets: print(dep_type + ": " + _objinfo(target)) for source in target_dict[target]: |