diff options
| author | Benjamin Drung <bdrung@debian.org> | 2016-01-12 23:03:50 +0100 |
|---|---|---|
| committer | Benjamin Drung <bdrung@debian.org> | 2016-01-12 23:07:20 +0100 |
| commit | 99c024e33463137189b0f03de460551413cfebb0 (patch) | |
| tree | 4eed46d71319e0677fecc54ba3dd4e3cb21b6717 /install-xpi | |
| parent | 02420e778c40a46b43484e5d01818b5c6bba8416 (diff) | |
install-xpi: sort file list in preferences files
Members of the reproducible builds effort noticed that
mozilla-devscripts embeds file lists in undeterministic readdir order
into .js files.
To make builds reproducible, sort the file list in preferences files.
Closes: #808713
Thanks: Reiner Herrmann <reiner@reiner-h.de>
Diffstat (limited to 'install-xpi')
| -rwxr-xr-x | install-xpi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/install-xpi b/install-xpi index 4e7c674..aba8773 100755 --- a/install-xpi +++ b/install-xpi @@ -131,7 +131,7 @@ def install_xpi(script_name, package, xpi_file, exclude, install_dir, links, (script_name, xpi_file), file=sys.stderr) sys.exit(XPI_FILE_DOES_NOT_EXISTS) zfobj = zipfile.ZipFile(xpi_file) - xpi_content = zfobj.namelist() + xpi_content = sorted(zfobj.namelist()) # determine installation directory if get_arch(package, debian_directory) == "all": |