diff options
| author | Jussi Pakkanen <jpakkane@gmail.com> | 2017-09-22 22:51:20 +0300 |
|---|---|---|
| committer | Jussi Pakkanen <jpakkane@gmail.com> | 2017-09-23 11:31:59 +0300 |
| commit | 876b2475dd40e47f7fef0a8f6ac85d20c527e9f6 (patch) | |
| tree | 2eaa57c49f1a2fc85eaac03d1606b030fb7ef428 | |
| parent | bea6b1a6f64d93a0f4dc129d209cbc49b5e39df4 (diff) | |
| download | meson-876b2475dd40e47f7fef0a8f6ac85d20c527e9f6.tar.gz | |
Made man page gzip creation deterministic. Closes #2363.
| -rw-r--r-- | mesonbuild/scripts/meson_install.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/mesonbuild/scripts/meson_install.py b/mesonbuild/scripts/meson_install.py index f978be4ac..985b0e94d 100644 --- a/mesonbuild/scripts/meson_install.py +++ b/mesonbuild/scripts/meson_install.py @@ -227,7 +227,9 @@ def install_man(d): if outfilename.endswith('.gz') and not full_source_filename.endswith('.gz'): with open(outfilename, 'wb') as of: with open(full_source_filename, 'rb') as sf: - of.write(gzip.compress(sf.read())) + # Set mtime and filename for reproducibility. + with gzip.GzipFile(fileobj=of, mode='wb', filename='', mtime=0) as gz: + gz.write(sf.read()) shutil.copystat(full_source_filename, outfilename) append_to_log(outfilename) else: |