diff options
Diffstat (limited to 'src/scripts')
| -rwxr-xr-x | src/scripts/dist.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/scripts/dist.py b/src/scripts/dist.py index 078c1b614..0e7e575ec 100755 --- a/src/scripts/dist.py +++ b/src/scripts/dist.py @@ -334,7 +334,7 @@ def main(args=None): all_files = [] for (curdir, _, files) in os.walk(output_basename): all_files += [os.path.join(curdir, f) for f in files] - all_files.sort() + all_files.sort(key = lambda f: (os.path.dirname(f), os.path.basename(f))) def write_mode(archive_type): if archive_type == 'tgz': |