remove dead option

This commit is contained in:
Dave Jones 2011-11-04 13:39:41 -04:00
parent a0b40e3acc
commit 2b4d1d8379

View File

@ -1053,7 +1053,6 @@ CONFIG_BOOTPARAM_HUNG_TASK_PANIC_VALUE=0
CONFIG_DEBUG_PREEMPT=y
# CONFIG_BKL is not set
# CONFIG_SPARSE_RCU_POINTER is not set
# CONFIG_DEBUG_SPINLOCK_SLEEP is not set
# CONFIG_DEBUG_HIGHMEM is not set
# CONFIG_DEBUG_INFO is not set
# CONFIG_DEBUG_LIST is not set