diff options
author | Jack Lloyd <[email protected]> | 2017-12-21 17:50:49 -0500 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2017-12-21 17:50:49 -0500 |
commit | c9940f43eb54c1e02cf07454bedcccf7c0873eed (patch) | |
tree | a24c637a9d1594014c0c82eacadffade9c61e8d7 /src/scripts/dist.py | |
parent | db24e12171b5689abaea5783b2eeb7cd3c253959 (diff) |
Fix pylint error
Diffstat (limited to 'src/scripts/dist.py')
-rwxr-xr-x | src/scripts/dist.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/scripts/dist.py b/src/scripts/dist.py index ba4a60048..91352532f 100755 --- a/src/scripts/dist.py +++ b/src/scripts/dist.py @@ -215,6 +215,8 @@ def write_archive(output_basename, archive_type, rel_epoch, all_files, hash_file return 'w:bz2' elif archive_type == 'tar': return 'w' + else: + raise Exception("Unknown archive type '%s'" % (archive_type)) # gzip format embeds the original filename, tarfile.py does the wrong # thing unless the output name ends in .gz. So pass an explicit |