diff options
| -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 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): |