--- a/drivers/char/Config.in 2002-12-18 13:52:04.000000000 +0100 +++ b/drivers/char/Config.in 2002-12-18 13:52:23.000000000 +0100 @@ -317,18 +317,7 @@ if [ "$CONFIG_AGP" != "n" ]; then fi fi -bool 'Direct Rendering Manager (XFree86 DRI support)' CONFIG_DRM -if [ "$CONFIG_DRM" = "y" ]; then - bool ' Build drivers for old (XFree 4.0) DRM' CONFIG_DRM_OLD - if [ "$CONFIG_DRM_OLD" = "y" ]; then - comment 'DRM 4.0 drivers' - source drivers/char/drm-4.0/Config.in - else - comment 'DRM 4.1 drivers' - define_bool CONFIG_DRM_NEW y - source drivers/char/drm/Config.in - fi -fi +source drivers/char/DRM-Config.in if [ "$CONFIG_HOTPLUG" = "y" -a "$CONFIG_PCMCIA" != "n" ]; then source drivers/char/pcmcia/Config.in --- a/drivers/char/DRM-Config.in 2002-12-13 01:55:47.000000000 +0100 +++ b/drivers/char/DRM-Config.in 2002-12-18 13:50:54.000000000 +0100 @@ -0,0 +1,16 @@ +mainmenu_option next_comment +comment 'Direct Rendering Manager (XFree86 DRI support)' +bool 'Direct Rendering Manager (XFree86 DRI support)' CONFIG_DRM +if [ "$CONFIG_DRM" = "y" ]; then + bool ' Build drivers for old (XFree 4.0) DRM' CONFIG_DRM_OLD + if [ "$CONFIG_DRM_OLD" = "y" ]; then + comment 'DRM 4.0 drivers' + source drivers/char/drm-4.0/Config.in + else + comment 'DRM 4.1 drivers' + define_bool CONFIG_DRM_NEW y + source drivers/char/drm/Config.in + fi +fi +endmenu +