From 1aee508866480afd838094ff55792f8874abde03 Mon Sep 17 00:00:00 2001
From: Frank Mori Hess <fmhess@speakeasy.net>
Date: Wed, 21 Nov 2001 20:26:19 +0000
Subject: [PATCH] fixed problem with make trying to compile comedi_rt_timer
 with non-RT kernel, removed useless trig support prompt

---
 comedi/Config.in | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/comedi/Config.in b/comedi/Config.in
index 9980ef02..8697d53c 100644
--- 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
 
-- 
2.26.2