diff options
author | Filippos Karapetis | 2013-07-05 13:09:43 +0300 |
---|---|---|
committer | Filippos Karapetis | 2013-07-05 13:09:43 +0300 |
commit | 701e6401849207c0dd76e20288a5621026329dd1 (patch) | |
tree | c31334fb380c48fffade9492dbaa12f2ed6d5f48 | |
parent | ecc43c9b92b0454b3a159b69d684c2ad331896fe (diff) | |
download | scummvm-rg350-701e6401849207c0dd76e20288a5621026329dd1.tar.gz scummvm-rg350-701e6401849207c0dd76e20288a5621026329dd1.tar.bz2 scummvm-rg350-701e6401849207c0dd76e20288a5621026329dd1.zip |
CONFIGURE: Don't allow the keymapper and the event recorder to be enabled simultaneously
-rwxr-xr-x | configure | 10 |
1 files changed, 10 insertions, 0 deletions
@@ -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... " |