CONFIGURE: Don't allow the keymapper and the event recorder to be enabled simultaneously

This commit is contained in:
Filippos Karapetis 2013-07-05 13:09:43 +03:00
parent ecc43c9b92
commit 701e640184

10
configure vendored
View File

@ -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... "