diff options
author | Artturin <Artturin@artturin.com> | 2021-12-19 21:04:52 +0200 |
---|---|---|
committer | Artturin <Artturin@artturin.com> | 2021-12-19 21:04:52 +0200 |
commit | f58b14b0ac44e20e40791573329cfd3cc394024a (patch) | |
tree | 17df599d32cd38286378040a4aab8f579e1ece1b /pkgs/desktops/gnome | |
parent | 5965f0698f917ae93578b66231976ce169134e59 (diff) |
gnome.gnome-desktop: make deterministic
makes it so the date wont be added to gnome-version.xml <date>2021-12-18</date>
Diffstat (limited to 'pkgs/desktops/gnome')
-rw-r--r-- | pkgs/desktops/gnome/core/gnome-desktop/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/desktops/gnome/core/gnome-desktop/default.nix b/pkgs/desktops/gnome/core/gnome-desktop/default.nix index 766ed1b7cfb54..843f92a3b0025 100644 --- a/pkgs/desktops/gnome/core/gnome-desktop/default.nix +++ b/pkgs/desktops/gnome/core/gnome-desktop/default.nix @@ -75,6 +75,7 @@ stdenv.mkDerivation rec { mesonFlags = [ "-Dgtk_doc=true" "-Ddesktop_docs=false" + "-Ddate_in_gnome_version=false" ]; separateDebugInfo = stdenv.isLinux; |