Fix demand-paging compilation errors

git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@2879 42af7a65-404d-4744-a932-0658087f49c3
This commit is contained in:
patacongo
2010-08-22 03:44:18 +00:00
parent 6c291c05a2
commit c530bd319a
23 changed files with 1292 additions and 34 deletions
+1
View File
@@ -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");