diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2017-10-31 00:47:35 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-10-31 00:51:37 +0100 |
| commit | c2eb8cd98c82277e851eb4302b7f12614e215a76 (patch) | |
| tree | ff6ec8fb0e9299bf1836c45ed421166454bbd452 /gnu/packages/webkit.scm | |
| parent | 8ff5b8aaa35cf1b48ee70889836972d87b7a94c4 (diff) | |
| download | patches-c2eb8cd98c82277e851eb4302b7f12614e215a76.tar patches-c2eb8cd98c82277e851eb4302b7f12614e215a76.tar.gz | |
gnu: xorg-server: Build reproducibly.
Fixes <https://bugs.gnu.org/24112>.
* gnu/packages/xorg.scm (xorg-server)[arguments]: Pass "--with-os-name"
and "--with-os-vendor" as #:configure-flags.
Augment 'pre-configure' phase to set 'BUILD_DATE' and 'BUILD_TIME' in
'configure'.
Diffstat (limited to 'gnu/packages/webkit.scm')
0 files changed, 0 insertions, 0 deletions