diff options
| author | Gregory Nutt <gnutt@nuttx.org> | 2014-09-01 13:21:15 -0600 |
|---|---|---|
| committer | Gregory Nutt <gnutt@nuttx.org> | 2014-09-01 13:21:15 -0600 |
| commit | 7bfdcaa22bd60cd34f11b0592c53fc5da1a37617 (patch) | |
| tree | 77b4f3886eb3f4049545827c2008d161c318a9fa /nuttx/sched/init/os_start.c | |
| parent | 9ee5cfaffa313949563fb37f7cd39a2b7620a4dd (diff) | |
| download | nuttx-7bfdcaa22bd60cd34f11b0592c53fc5da1a37617.tar.gz nuttx-7bfdcaa22bd60cd34f11b0592c53fc5da1a37617.tar.bz2 nuttx-7bfdcaa22bd60cd34f11b0592c53fc5da1a37617.zip | |
Remove final traces of the 8015 from the NuttX source tree
Diffstat (limited to 'nuttx/sched/init/os_start.c')
| -rw-r--r-- | nuttx/sched/init/os_start.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/nuttx/sched/init/os_start.c b/nuttx/sched/init/os_start.c index 4f6da4ea5..cf83b93b9 100644 --- a/nuttx/sched/init/os_start.c +++ b/nuttx/sched/init/os_start.c @@ -311,14 +311,13 @@ void os_start(void) * and there is no support that yet. */ -#if defined(CONFIG_CUSTOM_STACK) || (!defined(CONFIG_BUILD_PROTECTED) && \ - !defined(CONFIG_BUILD_KERNEL)) +#if !defined(CONFIG_BUILD_PROTECTED) && !defined(CONFIG_BUILD_KERNEL) #if CONFIG_TASK_NAME_SIZE > 0 g_idletcb.argv[0] = g_idletcb.cmn.name; #else g_idletcb.argv[0] = (char*)g_idlename; #endif /* CONFIG_TASK_NAME_SIZE */ -#endif /* CONFIG_CUSTOM_STACK || (!CONFIG_BUILD_PROTECTED && !CONFIG_BUILD_KERNEL) */ +#endif /* !CONFIG_BUILD_PROTECTED && !CONFIG_BUILD_KERNEL */ /* Then add the idle task's TCB to the head of the ready to run list */ |