Fix release script

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()