[gedit] Disable external tools for win32.
- From: Ignacio Casal Quinteiro <icq src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gedit] Disable external tools for win32.
- Date: Sun, 18 Apr 2010 14:44:23 +0000 (UTC)
commit 14814e64fb6dd62300a08f23d16d34b189cb7c58
Author: Ignacio Casal Quinteiro <icq gnome org>
Date: Sun Apr 18 16:43:36 2010 +0200
Disable external tools for win32.
Until we come up with some replacement in win32 let's disable it.
plugins/Makefile.am | 7 ++++++-
1 files changed, 6 insertions(+), 1 deletions(-)
---
diff --git a/plugins/Makefile.am b/plugins/Makefile.am
index 66f7dcb..ba80e09 100644
--- a/plugins/Makefile.am
+++ b/plugins/Makefile.am
@@ -23,7 +23,12 @@ SUBDIRS = \
time
if ENABLE_PYTHON
-SUBDIRS += externaltools pythonconsole snippets quickopen
+SUBDIRS += pythonconsole snippets quickopen
+
+if !OS_WIN32
+SUBDIRS += externaltools
+endif
+
endif
if ENABLE_ENCHANT
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]