Do not compress that which does not need compressing.

12 years ago · ee34bd688c
parent 2ce0ee6aed
commit ee34bd688c
1 changed files with 1 additions and 1 deletions
--- a/builder_install.py
+++ b/builder_install.py
@ -40,7 +40,7 @@ def install_data(d):
        outdir = os.path.split(outfilename)[0]
        os.makedirs(outdir, exist_ok=True)
        print('Installing %s to %s.' % (fullfilename, outdir))
-        gzip.open(outfilename, 'w').write(open(fullfilename, 'rb').read())
+        shutil.copyfile(fullfilename, outfilename)
        shutil.copystat(fullfilename, outfilename)
 def install_man(d):