remove dead option

This commit is contained in:
Dave Jones 2011-11-04 13:38:52 -04:00
parent 3468b5e931
commit 5c5ddd23f6
1 changed files with 0 additions and 1 deletions

View File

@ -1037,7 +1037,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