diff options
| -rwxr-xr-x | src/scripts/dist.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/scripts/dist.py b/src/scripts/dist.py index e66815c3e..26da31d24 100755 --- a/src/scripts/dist.py +++ b/src/scripts/dist.py @@ -317,6 +317,7 @@ def main(args = None): archive = tarfile.open(output_archive, write_mode()) + all_files = [] for (curdir,_,files) in os.walk(output_basename): all_files += [os.path.join(curdir, f) for f in files] all_files.sort() |