r41820 - in /desktop/unstable/gnome-terminal/debian: changelog rules

[ah at users.alioth.debian.org]

Author: ah
Date: Sat May 31 17:57:46 2014
New Revision: 41820

URL: http://svn.debian.org/wsvn/pkg-gnome/?sc=1&rev=41820
Log:
Explicitly disable search provider on non-linux.
Thanks to Pino Toscano.

Modified:
    desktop/unstable/gnome-terminal/debian/changelog
    desktop/unstable/gnome-terminal/debian/rules

Modified: desktop/unstable/gnome-terminal/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-gnome/desktop/unstable/gnome-terminal/debian/changelog?rev=41820&op=diff
==============================================================================
--- desktop/unstable/gnome-terminal/debian/changelog	[utf-8] (original)
+++ desktop/unstable/gnome-terminal/debian/changelog	[utf-8] Sat May 31 17:57:46 2014
@@ -1,3 +1,10 @@
+gnome-terminal (3.12.2-3) unstable; urgency=medium
+
+  * Explicitly disable search provider on non-linux.
+    Thanks to Pino Toscano.
+
+ -- Andreas Henriksson <andreas at fatal.se>  Sat, 31 May 2014 19:54:59 +0200
+
 gnome-terminal (3.12.2-2) unstable; urgency=medium
 
   The "Why?" release.

Modified: desktop/unstable/gnome-terminal/debian/rules
URL: http://svn.debian.org/wsvn/pkg-gnome/desktop/unstable/gnome-terminal/debian/rules?rev=41820&op=diff
==============================================================================
--- desktop/unstable/gnome-terminal/debian/rules	[utf-8] (original)
+++ desktop/unstable/gnome-terminal/debian/rules	[utf-8] Sat May 31 17:57:46 2014
@@ -13,6 +13,10 @@
 
 DEB_CONFIGURE_EXTRA_FLAGS += --enable-distro-packaging
 
+ifneq ($(DEB_HOST_ARCH_OS),linux)
+    DEB_CONFIGURE_EXTRA_FLAGS += --disable-search-provider
+endif
+
 build/gnome-terminal::
 	/usr/bin/docbook-to-man debian/gnome-terminal.sgml > debian/gnome-terminal.1