diff options
author | Jack Lloyd <[email protected]> | 2017-09-19 21:10:48 -0400 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2017-09-19 21:10:48 -0400 |
commit | d30327826d512f270cd1ff8a7705071f1c67b53f (patch) | |
tree | b1667fc45d26a471edc97a26e0aadc5e4e73630b /src/scripts | |
parent | 80d5daae9acab76c14b4029fe9497b4e4569e512 (diff) |
Sort files in archive
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': |