okay, _really_ fixed problem with comedi_rt_timer getting compiled on non-RT kernels
authorFrank Mori Hess <fmhess@speakeasy.net>
Fri, 23 Nov 2001 02:57:06 +0000 (02:57 +0000)
committerFrank Mori Hess <fmhess@speakeasy.net>
Fri, 23 Nov 2001 02:57:06 +0000 (02:57 +0000)
when make config used defaults in config.dist

comedi/Config.in
scripts/config.dist

index 8697d53cc593b93bf6e8b632b22164a3efa85c51..524cfb8eeda28c40137762b4576fde4df3d20d31 100644 (file)
@@ -2,27 +2,27 @@
 comment 'Comedi Features'
 
 if [ "$CONFIG_RTL" = "y" ];then
-       bool 'Real-time support' CONFIG_COMEDI_RT
-       if [ "$CONFIG_COMEDI_RT" = "y" ];then
-               define_bool CONFIG_COMEDI_RTL y
+       bool 'Real-time support' CONFIG_COMEDI_RTL
+       if [ "$CONFIG_COMEDI_RTL" = "y" ];then
+               define_bool CONFIG_COMEDI_RT y
        fi
 fi
 if [ "$CONFIG_RTL_V1" = "y" ];then
-       bool 'Real-time v1 support' CONFIG_COMEDI_RT
-       if [ "$CONFIG_COMEDI_RT" = "y" ];then
-               define_bool CONFIG_COMEDI_RTL_V1 y
+       bool 'Real-time v1 support' CONFIG_COMEDI_RTL_V1
+       if [ "$CONFIG_COMEDI_RTL_V1" = "y" ];then
+               define_bool CONFIG_COMEDI_RT y
        fi
 fi
 if [ "$CONFIG_RTHAL" = "y" ];then
-       bool 'Real-time support' CONFIG_COMEDI_RT
-       if [ "$CONFIG_COMEDI_RT" = "y" ];then
-               define_bool CONFIG_COMEDI_RTAI y
+       bool 'Real-time support' CONFIG_COMEDI_RTAI
+       if [ "$CONFIG_COMEDI_RTAI" = "y" ];then
+               define_bool CONFIG_COMEDI_RT y
        fi
 fi
 if [ "$CONFIG_PRIORITY_IRQ" = "y" ];then
-       bool 'Real-time support' CONFIG_COMEDI_RT
-       if [ "$CONFIG_COMEDI_RT" = "y" ];then
-               define_bool CONFIG_COMEDI_PIRQ y
+       bool 'Real-time support' CONFIG_COMEDI_PIRQ
+       if [ "$CONFIG_COMEDI_PIRQ" = "y" ];then
+               define_bool CONFIG_COMEDI_RT y
        fi
 fi
 
@@ -112,6 +112,5 @@ 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
 
index a0385c2c9a21acca8953330ce9a801340aa1253a..7448669d6fc504297ef5cce3dd9c493051009e47 100644 (file)
@@ -6,8 +6,8 @@ CONFIG_COMEDI=m
 #
 # Comedi Features
 #
-# CONFIG_COMEDI_TRIG is not set
-CONFIG_COMEDI_RT=y
+CONFIG_COMEDI_RTL=y
+CONFIG_COMEDI_RTL_V1=y
 CONFIG_COMEDI_RTAI=y
 CONFIG_COMEDI_DEBUG=y
 CONFIG_COMEDI_KLIB=m