From ee34bd688cf4911bcdca922e5a0c522dc1b4fdc5 Mon Sep 17 00:00:00 2001 From: Jussi Pakkanen Date: Fri, 8 Feb 2013 22:36:03 +0200 Subject: Do not compress that which does not need compressing. --- builder_install.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/builder_install.py b/builder_install.py index bc32adf..d899d51 100755 --- 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): -- cgit v1.1