diff options
author | Danny Milosavljevic <dannym@scratchpost.org> | 2017-12-27 11:41:47 +0100 |
---|---|---|
committer | Danny Milosavljevic <dannym@scratchpost.org> | 2017-12-27 12:35:08 +0100 |
commit | 6368eb397d68775c71bc1968660bf28d04c27d48 (patch) | |
tree | bbb631536662c42d977773f21e1655caa76b19ed | |
parent | abc5ef5a7f7fecb99ca8213c0962f42cc1a65552 (diff) | |
download | patches-6368eb397d68775c71bc1968660bf28d04c27d48.tar patches-6368eb397d68775c71bc1968660bf28d04c27d48.tar.gz |
gnu: totem: Disable (duplicate) cache generation.
* gnu/packages/gnome.scm (totem): Disable (duplicate) cache generation.
-rw-r--r-- | gnu/packages/gnome.scm | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm index 7a9e833134..23b3f55d52 100644 --- a/gnu/packages/gnome.scm +++ b/gnu/packages/gnome.scm @@ -3669,6 +3669,11 @@ for application developers.") #:phases (modify-phases %standard-phases + (add-before + 'install 'disable-cache-generation + (lambda _ + (setenv "DESTDIR" "/") + #t)) (add-after 'install 'wrap-totem (lambda* (#:key inputs outputs #:allow-other-keys) |