diff options
author | patacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3> | 2010-08-22 03:44:18 +0000 |
---|---|---|
committer | patacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3> | 2010-08-22 03:44:18 +0000 |
commit | 9e91dba9e4c647edef9d745af68321436007b4f5 (patch) | |
tree | 2bc95495f8037e2142f04533c6bd8ff6413a3c32 /nuttx/tools | |
parent | 93362e94215a997b3dd1323cba42ea40d3483575 (diff) | |
download | px4-nuttx-9e91dba9e4c647edef9d745af68321436007b4f5.tar.gz px4-nuttx-9e91dba9e4c647edef9d745af68321436007b4f5.tar.bz2 px4-nuttx-9e91dba9e4c647edef9d745af68321436007b4f5.zip |
Fix demand-paging compilation errors
git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@2879 42af7a65-404d-4744-a932-0658087f49c3
Diffstat (limited to 'nuttx/tools')
-rw-r--r-- | nuttx/tools/mkconfig.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/nuttx/tools/mkconfig.c b/nuttx/tools/mkconfig.c index 1569daf85..ff02a58c0 100644 --- a/nuttx/tools/mkconfig.c +++ b/nuttx/tools/mkconfig.c @@ -330,6 +330,7 @@ int main(int argc, char **argv, char **envp) printf("# undef CONFIG_DEBUG_VERBOSE\n"); printf("# undef CONFIG_DEBUG_SCHED\n"); printf("# undef CONFIG_DEBUG_MM\n"); + printf("# undef CONFIG_DEBUG_PAGING\n"); printf("# undef CONFIG_DEBUG_DMA\n"); printf("# undef CONFIG_DEBUG_FS\n"); printf("# undef CONFIG_DEBUG_LIB\n"); |