diff options
| -rwxr-xr-x | src/scripts/dist.py | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/scripts/dist.py b/src/scripts/dist.py index 56aabd45f..e66815c3e 100755 --- a/src/scripts/dist.py +++ b/src/scripts/dist.py @@ -316,7 +316,13 @@ def main(args = None): return 'w:bz2' archive = tarfile.open(output_archive, write_mode()) - archive.add(output_basename) + + for (curdir,_,files) in os.walk(output_basename): + all_files += [os.path.join(curdir, f) for f in files] + all_files.sort() + + for f in all_files: + archive.add(f) archive.close() if hash_file != None: |