[gnome-shell] jhbuildrc-gnome-shell: add ignore_suggests = True
- From: Owen Taylor <otaylor src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell] jhbuildrc-gnome-shell: add ignore_suggests = True
- Date: Wed, 3 Oct 2012 14:04:31 +0000 (UTC)
commit 7d9ec8cea036d4ae86c51f15cfab0ef1fdba696d
Author: Owen W. Taylor <otaylor fishsoup net>
Date: Tue Oct 2 23:41:35 2012 -0400
jhbuildrc-gnome-shell: add ignore_suggests = True
Adding ignore_suggests = True avoids building some large modules like
evolution speeding the build. But more importantly, it removes
gnome-disk-utility from the build. gnome-disk-utility has a hard
dependency on udisks-1.99, which is not found on anything but the
latest systems.
https://bugzilla.gnome.org/show_bug.cgi?id=685353
tools/build/jhbuildrc-gnome-shell | 3 +++
1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/tools/build/jhbuildrc-gnome-shell b/tools/build/jhbuildrc-gnome-shell
index db5e2d4..a4c7fc2 100644
--- a/tools/build/jhbuildrc-gnome-shell
+++ b/tools/build/jhbuildrc-gnome-shell
@@ -28,6 +28,9 @@ checkoutroot = os.path.expanduser('~/gnome-shell/source')
# the prefix to configure/install modules to (must have write access)
prefix = os.path.expanduser('~/gnome-shell/install')
+# reduce what we build as much as possible
+ignore_suggests = True
+
# Use system libraries for the builds
if use_lib64:
_libdir = 'lib64'
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]