From 701e6401849207c0dd76e20288a5621026329dd1 Mon Sep 17 00:00:00 2001
From: Filippos Karapetis
Date: Fri, 5 Jul 2013 13:09:43 +0300
Subject: CONFIGURE: Don't allow the keymapper and the event recorder to be
 enabled simultaneously

---
 configure | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'configure')

diff --git a/configure b/configure
index b8bab15ab9..e59a38b8a5 100755
--- a/configure
+++ b/configure
@@ -3798,6 +3798,16 @@ define_in_config_if_yes $_vkeybd 'ENABLE_VKEYBD'
 define_in_config_if_yes $_keymapper 'ENABLE_KEYMAPPER'
 define_in_config_if_yes $_eventrec 'ENABLE_EVENTRECORDER'
 
+#
+# Check if the keymapper and the event recorder are enabled simultaneously
+#
+if test "$_keymapper" = yes ; then
+	if test "$_eventrec" = yes ; then
+		echo "ERROR: The keymapper and the event recorder cannot be enabled simultaneously currently, please disable one of the two"
+		exit 1
+	fi
+fi
+
 # Check whether to build translation support
 #
 echo_n "Building translation support... "
-- 
cgit v1.2.3