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/arch/8051/src/up_exit.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/arch/8051/src/up_exit.c')
| -rw-r--r-- | nuttx/arch/8051/src/up_exit.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nuttx/arch/8051/src/up_exit.c b/nuttx/arch/8051/src/up_exit.c index 9ef273294..29fe790fb 100644 --- a/nuttx/arch/8051/src/up_exit.c +++ b/nuttx/arch/8051/src/up_exit.c @@ -46,7 +46,7 @@ #include <nuttx/arch.h> #include "task/task.h" -#include "os_internal.h" +#include "sched/sched.h" #include "up_internal.h" /**************************************************************************************** |