summaryrefslogtreecommitdiff
path: root/nuttx/tools/mkconfig.c
diff options
context:
space:
mode:
authorpatacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3>2011-04-05 20:54:00 +0000
committerpatacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3>2011-04-05 20:54:00 +0000
commit16be59858afa332cc8a0f8e61a215e1deea5e897 (patch)
tree0159742e27848cfac6eec8d9d87bd6579af48c18 /nuttx/tools/mkconfig.c
parent3607bf2b4b1f2087cfb52ab4591f2ac347698a9c (diff)
downloadpx4-nuttx-16be59858afa332cc8a0f8e61a215e1deea5e897.tar.gz
px4-nuttx-16be59858afa332cc8a0f8e61a215e1deea5e897.tar.bz2
px4-nuttx-16be59858afa332cc8a0f8e61a215e1deea5e897.zip
Clean kernel-/user-mode module build
git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@3469 42af7a65-404d-4744-a932-0658087f49c3
Diffstat (limited to 'nuttx/tools/mkconfig.c')
-rw-r--r--nuttx/tools/mkconfig.c11
1 files changed, 10 insertions, 1 deletions
diff --git a/nuttx/tools/mkconfig.c b/nuttx/tools/mkconfig.c
index ff02a58c0..cee430cd6 100644
--- a/nuttx/tools/mkconfig.c
+++ b/nuttx/tools/mkconfig.c
@@ -1,7 +1,7 @@
/****************************************************************************
* tools/mkconfig.c
*
- * Copyright (C) 2007-2010 Gregory Nutt. All rights reserved.
+ * Copyright (C) 2007-2011 Gregory Nutt. All rights reserved.
* Author: Gregory Nutt <spudmonkey@racsa.co.cr>
*
* Redistribution and use in source and binary forms, with or without
@@ -288,6 +288,15 @@ int main(int argc, char **argv, char **envp)
printf("# undef CONFIG_STDIO_BUFFER_SIZE\n");
printf("# define CONFIG_STDIO_BUFFER_SIZE 0\n");
printf("#endif\n\n");
+ printf("/* We are building a kernel version of the C library, then some user-space features\n");
+ printf(" * need to be disabled\n");
+ printf(" */\n\n");
+ printf("#if defined(CONFIG_NUTTX_KERNEL) && defined(__KERNEL__)\n");
+ printf("# undef CONFIG_STDIO_BUFFER_SIZE\n");
+ printf("# define CONFIG_STDIO_BUFFER_SIZE 0\n");
+ printf("# undef CONFIG_NUNGET_CHARS\n");
+ printf("# define CONFIG_NUNGET_CHARS 0\n");
+ printf("#endif\n\n");
printf("/* If the maximum message size is zero, then we assume that message queues\n");
printf(" * support should be disabled\n");
printf(" */\n\n");