diff options
author | patacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3> | 2011-04-05 20:54:00 +0000 |
---|---|---|
committer | patacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3> | 2011-04-05 20:54:00 +0000 |
commit | 16be59858afa332cc8a0f8e61a215e1deea5e897 (patch) | |
tree | 0159742e27848cfac6eec8d9d87bd6579af48c18 /nuttx/tools | |
parent | 3607bf2b4b1f2087cfb52ab4591f2ac347698a9c (diff) | |
download | px4-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')
-rw-r--r-- | nuttx/tools/mkconfig.c | 11 |
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"); |