diff options
author | Gregory Nutt <gnutt@nuttx.org> | 2014-08-08 17:53:55 -0600 |
---|---|---|
committer | Gregory Nutt <gnutt@nuttx.org> | 2014-08-08 17:53:55 -0600 |
commit | 5ddcab0d041b2a78c8d80d4d2daca6040816f259 (patch) | |
tree | cf028eaf29c3766da686b7141127962bbbf7be26 /nuttx/sched/task/task_restart.c | |
parent | 358f4f222b04afabaf043b84d74446fccaabb9d9 (diff) | |
download | px4-nuttx-5ddcab0d041b2a78c8d80d4d2daca6040816f259.tar.gz px4-nuttx-5ddcab0d041b2a78c8d80d4d2daca6040816f259.tar.bz2 px4-nuttx-5ddcab0d041b2a78c8d80d4d2daca6040816f259.zip |
Replace os_internal.h with sched/sched.h in files that actually reference something in sched.h
Diffstat (limited to 'nuttx/sched/task/task_restart.c')
-rw-r--r-- | nuttx/sched/task/task_restart.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nuttx/sched/task/task_restart.c b/nuttx/sched/task/task_restart.c index dd3a78547..a62d723fb 100644 --- a/nuttx/sched/task/task_restart.c +++ b/nuttx/sched/task/task_restart.c @@ -45,7 +45,7 @@ #include <nuttx/arch.h> -#include "os_internal.h" +#include "sched/sched.h" #include "group/group.h" #include "signal/signal.h" #include "task/task.h" |