fixed problem with make trying to compile comedi_rt_timer with non-RT kernel,

removed useless trig support prompt

diff --git a/comedi/Config.in b/comedi/Config.in
index 9980ef024cea52ca55287e535a99426d475fe491..8697d53cc593b93bf6e8b632b22164a3efa85c51 100644 (file)
--- a/comedi/Config.in
+++ b/comedi/Config.in
@@ -1,8 +1,6 @@
 
 comment 'Comedi Features'
 
-bool 'comedi_trig compatibility (deprecated)' CONFIG_COMEDI_TRIG
-
 if [ "$CONFIG_RTL" = "y" ];then
        bool 'Real-time support' CONFIG_COMEDI_RT
        if [ "$CONFIG_COMEDI_RT" = "y" ];then
@@ -114,5 +112,6 @@ dep_tristate 'Skeleton driver' CONFIG_COMEDI_SKEL $CONFIG_COMEDI
 
 if [ "$CONFIG_COMEDI_RT" = "y" ];then
        dep_tristate 'Real-time command emulator (timer)' CONFIG_COMEDI_RT_TIMER $CONFIG_COMEDI
+       else define_bool CONFIG_COMEDI_RT_TIMER n
 fi