Merge pull request #151356 from Artturin/gnomedesktop-determistic

gnome.gnome-desktop: make deterministic
This commit is contained in:
Jan Tojnar 2021-12-19 20:34:18 +01:00 committed by GitHub
commit 56cd070503
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -75,6 +75,8 @@ stdenv.mkDerivation rec {
mesonFlags = [
"-Dgtk_doc=true"
"-Ddesktop_docs=false"
"-Ddate_in_gnome_version=false"
"-Dgnome_distributor=NixOS"
];
separateDebugInfo = stdenv.isLinux;