sergiotarxz/nuttx
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

tools/mkconfig.c: Purely cosmetic update.

Browse Source
This commit is contained in:
Gregory Nutt 2017-02-09 16:29:01 -06:00
parent 0b4a9539be
commit d35676860b
1 changed files with 19 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

38
tools/mkconfig.c
View File

@ -164,6 +164,24 @@ int main(int argc, char **argv, char **envp)
printf("# undef CONFIG_RAMLOG_CONSOLE\n");
printf("#endif\n\n");
printf("/* If no file descriptors are configured, then make certain no\n");
printf(" * streams are configured either.\n");
printf(" */\n\n");
printf("#if CONFIG_NFILE_DESCRIPTORS == 0\n");
printf("# undef CONFIG_NFILE_STREAMS\n");
printf("# define CONFIG_NFILE_STREAMS 0\n");
printf("#endif\n\n");
printf("/* If no file streams are configured, then make certain that buffered I/O\n");
printf(" * support is disabled\n");
printf(" */\n\n");
printf("#if CONFIG_NFILE_STREAMS == 0\n");
printf("# undef CONFIG_STDIO_BUFFER_SIZE\n");
printf("# undef CONFIG_STDIO_LINEBUFFER\n");
printf("# undef CONFIG_STDIO_DISABLE_BUFFERING\n");
printf("# define CONFIG_STDIO_DISABLE_BUFFERING 1\n");
printf("#endif\n\n");
printf("/* If priority inheritance is disabled, then do not allocate any\n");
printf(" * associated resources.\n");
printf(" */\n\n");
@ -172,18 +190,10 @@ int main(int argc, char **argv, char **envp)
printf("# define CONFIG_SEM_PREALLOCHOLDERS 0\n");
printf("#endif\n\n");
printf("#if !defined(CONFIG_PRIORITY_INHERITANCE) || !defined(CONFIG_SEM_NNESTPRIO)\n");
printf("# undef CONFIG_SEM_NNESTPRIO\n");
printf("# undef CONFIG_SEM_NNESTPRIO\n");
printf("# define CONFIG_SEM_NNESTPRIO 0\n");
printf("#endif\n\n");
printf("/* If no file descriptors are configured, then make certain no\n");
printf(" * streams are configured either.\n");
printf(" */\n\n");
printf("#if CONFIG_NFILE_DESCRIPTORS == 0\n");
printf("# undef CONFIG_NFILE_STREAMS\n");
printf("# define CONFIG_NFILE_STREAMS 0\n");
printf("#endif\n\n");
printf("/* If the end of RAM is not specified then it is assumed to be the beginning\n");
printf(" * of RAM plus the RAM size.\n");
printf(" */\n\n");
@ -201,16 +211,6 @@ int main(int argc, char **argv, char **envp)
printf("# define CONFIG_FLASH_END (CONFIG_FLASH_START+CONFIG_FLASH_SIZE)\n");
printf("#endif\n\n");
printf("/* If no file streams are configured, then make certain that buffered I/O\n");
printf(" * support is disabled\n");
printf(" */\n\n");
printf("#if CONFIG_NFILE_STREAMS == 0\n");
printf("# undef CONFIG_STDIO_BUFFER_SIZE\n");
printf("# undef CONFIG_STDIO_LINEBUFFER\n");
printf("# undef CONFIG_STDIO_DISABLE_BUFFERING\n");
printf("# define CONFIG_STDIO_DISABLE_BUFFERING 1\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");