diff options
Diffstat (limited to 'docs')
-rw-r--r-- | docs/reports/build.txt | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/docs/reports/build.txt b/docs/reports/build.txt index c53040436..e05b19da9 100644 --- a/docs/reports/build.txt +++ b/docs/reports/build.txt @@ -4,9 +4,6 @@ Default maximum settings CH_OPTIMIZE_SPEED=FALSE * Building...OK * Testing...OK -CH_USE_NESTED_LOCKS=TRUE - * Building...OK - * Testing...OK CH_TIME_QUANTUM=0 * Building...OK * Testing...OK @@ -28,6 +25,9 @@ CH_USE_MESSAGES_PRIORITY=TRUE CH_USE_DYNAMIC=FALSE * Building...OK * Testing...OK +CH_DBG_SYSTEM_STATE_CHECK=TRUE + * Building...OK + * Testing...OK CH_DBG_ENABLE_CHECKS=TRUE * Building...OK * Testing...OK @@ -37,9 +37,6 @@ CH_DBG_ENABLE_ASSERTS=TRUE CH_DBG_ENABLE_TRACE=TRUE * Building...OK * Testing...OK -CH_DBG_ENABLE_STACK_CHECK=TRUE - * Building...OK - * Testing...OK CH_DBG_FILL_THREADS=TRUE * Building...OK * Testing...OK |