Sort files in archive

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':