diff options
| author | lloyd <[email protected]> | 2013-12-29 18:31:40 +0000 |
|---|---|---|
| committer | lloyd <[email protected]> | 2013-12-29 18:31:40 +0000 |
| commit | 6e3c0b6cb860e7c5ab835eb04d96ac779abb67ec (patch) | |
| tree | a7dc9d4f4ebf47188a258d14e337f6a43a59745b | |
| parent | 60a5ede20b6fbd150f612d3ca7b975e48ab97c4b (diff) | |
Fix running without --write-hash-file
| -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) |