diff options
| author | Adam Van Ymeren <adam@vany.ca> | 2017-10-13 12:40:50 -0400 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-10-16 14:57:54 +0200 |
| commit | a97bfa46cdb782f705204a50a10bca9fa98c56b2 (patch) | |
| tree | 6d5a92b79c29f70fe7243c9f787946a800222e7d /gnu/packages | |
| parent | 8e2ae7ee2950eb1eb162fc98724e4d03f8d7feca (diff) | |
| download | patches-a97bfa46cdb782f705204a50a10bca9fa98c56b2.tar patches-a97bfa46cdb782f705204a50a10bca9fa98c56b2.tar.gz | |
gnu: totem: Disable parallel build due to http://debbugs.gnu.org/28813
Fixes <http://bugs.gnu.org/28813>.
* gnu/packages/gnome.scm (totem)[arguments]: Add #:parallel-build?.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/gnome.scm | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm index 292113b496..e7869ac0fd 100644 --- a/gnu/packages/gnome.scm +++ b/gnu/packages/gnome.scm @@ -3641,6 +3641,12 @@ for application developers.") (arguments `(#:glib-or-gtk? #t + ;; Disable parallel builds until + ;; https://debbugs.gnu.org/cgi/bugreport.cgi?bug=28813 is + ;; fixed. Try enabling it when updating this package in case + ;; upstream has fixed it. + #:parallel-build? #f + ;; Disable automatic GStreamer plugin installation via PackageKit and ;; all that. #:configure-flags '("-D" "enable-easy-codec-installation=no" |