diff options
| author | Peter Robinson <pbrobinson@gmail.com> | 2013-03-04 11:44:24 +0000 |
|---|---|---|
| committer | Peter Robinson <pbrobinson@gmail.com> | 2013-03-04 11:44:24 +0000 |
| commit | 078f71f7dd25bb8acc5a706cc92c3109c65bf118 (patch) | |
| tree | 3888c5e19c9babf2fe24eee97baf0275ab88b19a /config-nodebug | |
| parent | 83ef26c694c4c60df5451f649a01fc051dab3c89 (diff) | |
| parent | 9608524f39dac77fef69d2cf2a64a465b039df2b (diff) | |
fix merge
Diffstat (limited to 'config-nodebug')
| -rw-r--r-- | config-nodebug | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config-nodebug b/config-nodebug index 7abd7b55..cfabd29c 100644 --- a/config-nodebug +++ b/config-nodebug @@ -96,6 +96,7 @@ CONFIG_PCI_DEFAULT_USE_CRS=y CONFIG_KGDB_KDB=y CONFIG_KDB_KEYBOARD=y +CONFIG_KDB_CONTINUE_CATASTROPHIC=0 CONFIG_DEBUG_OBJECTS_PERCPU_COUNTER=y CONFIG_TEST_LIST_SORT=y |