diff options
| author | Gregory Nutt <gnutt@nuttx.org> | 2014-08-29 14:47:22 -0600 |
|---|---|---|
| committer | Gregory Nutt <gnutt@nuttx.org> | 2014-08-29 14:47:22 -0600 |
| commit | 64892e44f2ce2612c77b1b20497fb007adafafb8 (patch) | |
| tree | 2c917f29727a017b85193ac85959663d504b26e5 /nuttx/sched/task/task_start.c | |
| parent | c48af0eb9c61462f59a7ba63ca7a73e8df146f49 (diff) | |
| download | nuttx-64892e44f2ce2612c77b1b20497fb007adafafb8.tar.gz nuttx-64892e44f2ce2612c77b1b20497fb007adafafb8.tar.bz2 nuttx-64892e44f2ce2612c77b1b20497fb007adafafb8.zip | |
Rename CONFIG_NUTTX_KERNEL to CONFIG_BUILD_PROTECTED; Partially integrate new CONFIG_BUILD_KERNEL
Diffstat (limited to 'nuttx/sched/task/task_start.c')
| -rw-r--r-- | nuttx/sched/task/task_start.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nuttx/sched/task/task_start.c b/nuttx/sched/task/task_start.c index 8cc7973f1..1317d9a4e 100644 --- a/nuttx/sched/task/task_start.c +++ b/nuttx/sched/task/task_start.c @@ -127,7 +127,7 @@ void task_start(void) * we have to switch to user-mode before calling the task. */ -#ifdef CONFIG_NUTTX_KERNEL +#if defined(CONFIG_BUILD_PROTECTED) || defined(CONFIG_BUILD_KERNEL) if ((tcb->cmn.flags & TCB_FLAG_TTYPE_MASK) != TCB_FLAG_TTYPE_KERNEL) { up_task_start(tcb->cmn.entry.main, argc, tcb->argv); |