diff options
| -rwxr-xr-x | src/build-data/scripts/dist.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/build-data/scripts/dist.py b/src/build-data/scripts/dist.py index 4271492f8..56aabd45f 100755 --- a/src/build-data/scripts/dist.py +++ b/src/build-data/scripts/dist.py @@ -328,7 +328,8 @@ def main(args = None): output_files.append(output_archive) - hash_file.close() + if hash_file != None: + hash_file.close() shutil.rmtree(output_basename) |