diff options
| author | Gregory Nutt <gnutt@nuttx.org> | 2014-03-05 14:25:49 -0600 |
|---|---|---|
| committer | Gregory Nutt <gnutt@nuttx.org> | 2014-03-05 14:25:49 -0600 |
| commit | 0ce61456e7e976022b9d56050e2ab79e611bb1f5 (patch) | |
| tree | ca936e48825e47b556be1fcf7287bf0df8b544a2 /nuttx/tools | |
| parent | 713c0f495dd2895d9509a07c95d7a1093b8be821 (diff) | |
| download | nuttx-0ce61456e7e976022b9d56050e2ab79e611bb1f5.tar.gz nuttx-0ce61456e7e976022b9d56050e2ab79e611bb1f5.tar.bz2 nuttx-0ce61456e7e976022b9d56050e2ab79e611bb1f5.zip | |
Add configuration ettings for the on-demand paging option
Diffstat (limited to 'nuttx/tools')
| -rw-r--r-- | nuttx/tools/cfgdefine.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/nuttx/tools/cfgdefine.c b/nuttx/tools/cfgdefine.c index 9dbd0262b..e25301aca 100644 --- a/nuttx/tools/cfgdefine.c +++ b/nuttx/tools/cfgdefine.c @@ -67,6 +67,7 @@ static const char *dequote_list[] = "CONFIG_EXECFUNCS_SYMTAB", /* Symbol table used by exec[l|v] */ "CONFIG_PASS1_BUILDIR", /* Pass1 build directory */ "CONFIG_PASS1_TARGET", /* Pass1 build target */ + "CONFIG_PASS1_OBJECT", /* Pass1 build object */ "CONFIG_DEBUG_OPTLEVEL", /* Custom debug level */ /* NxWidgets/NxWM */ |