diff options
| author | Dave Jones <davej@redhat.com> | 2012-03-16 15:52:12 -0400 |
|---|---|---|
| committer | Dave Jones <davej@redhat.com> | 2012-03-16 15:52:12 -0400 |
| commit | 4cffa5f488c95917a86bd033046f56668f9d1846 (patch) | |
| tree | dc2b63fbe580d542fa2d4dae97ade1053e033e60 /config-nodebug | |
| parent | d93bb24a34c4e30f6efaed96005f222f7eebe109 (diff) | |
| download | kernel-4cffa5f488c95917a86bd033046f56668f9d1846.tar.gz kernel-4cffa5f488c95917a86bd033046f56668f9d1846.tar.xz kernel-4cffa5f488c95917a86bd033046f56668f9d1846.zip | |
move DEBUG_VM to generic
Diffstat (limited to 'config-nodebug')
| -rw-r--r-- | config-nodebug | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/config-nodebug b/config-nodebug index 0eb253221..c14754265 100644 --- a/config-nodebug +++ b/config-nodebug @@ -8,7 +8,6 @@ CONFIG_DEBUG_MUTEXES=y CONFIG_DEBUG_RT_MUTEXES=y CONFIG_DEBUG_LOCK_ALLOC=y CONFIG_PROVE_LOCKING=y -CONFIG_DEBUG_VM=y CONFIG_DEBUG_SPINLOCK=y CONFIG_PROVE_RCU=y # CONFIG_PROVE_RCU_REPEATEDLY is not set |