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

Took too much out of tools/mkconfig.c recently.

Browse Source
This commit is contained in:
Gregory Nutt 2016-06-30 13:31:40 -06:00
parent a897fd4ccf
commit 599c7963e8
1 changed files with 9 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
tools/mkconfig.c
View File

@ -132,7 +132,7 @@ int main(int argc, char **argv, char **envp)
printf("# define CONFIG_RR_INTERVAL 0\n");
printf("#endif\n\n");
printf("/* The correct way to disable filesystem supuport is to set the number of\n");
printf("/* The correct way to disable filesystem support is to set the number of\n");
printf(" * file descriptors to zero.\n");
printf(" */\n\n");
printf("#ifndef CONFIG_NFILE_DESCRIPTORS\n");
@ -220,10 +220,18 @@ int main(int argc, char **argv, char **envp)
printf("# define CONFIG_DISABLE_MQUEUE 1\n");
printf("#endif\n\n");
printf("/* The correct way to disable socket support is to set the number of\n");
printf(" * socket descriptors to zero.\n");
printf(" */\n\n");
printf("#ifndef CONFIG_NSOCKET_DESCRIPTORS\n");
printf("# define CONFIG_NSOCKET_DESCRIPTORS 0\n");
printf("#endif\n\n");
printf("/* There can be no network support with no socket descriptors */\n\n");
printf("#if CONFIG_NSOCKET_DESCRIPTORS <= 0\n");
printf("# undef CONFIG_NET\n");
printf("#endif\n\n");
printf("/* Conversely, if there is no network support, there is no need for\n");
printf(" * socket descriptors\n");
printf(" */\n\n");