diff options
| author | Jussi Pakkanen <jpakkane@gmail.com> | 2013-02-08 22:36:03 +0200 |
|---|---|---|
| committer | Jussi Pakkanen <jpakkane@gmail.com> | 2013-02-08 22:36:03 +0200 |
| commit | ee34bd688cf4911bcdca922e5a0c522dc1b4fdc5 (patch) | |
| tree | c5aee21de23065ecad3827e60c8182a1166ce819 /builder_install.py | |
| parent | 2ce0ee6aed4ec520753c3ff345170b6013691a2b (diff) | |
| download | meson-ee34bd688cf4911bcdca922e5a0c522dc1b4fdc5.tar.gz | |
Do not compress that which does not need compressing.
Diffstat (limited to 'builder_install.py')
| -rwxr-xr-x | builder_install.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/builder_install.py b/builder_install.py index bc32adf22..d899d51a7 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): |