diff options
author | Gregory Nutt <gnutt@nuttx.org> | 2014-08-08 18:39:28 -0600 |
---|---|---|
committer | Gregory Nutt <gnutt@nuttx.org> | 2014-08-08 18:39:28 -0600 |
commit | 1312bca729889dd97446689cf8c14740d83e7c9b (patch) | |
tree | 3cb4ec8d29149668d5c37a74ce45d15a41a65e8f /nuttx/sched/timer | |
parent | 09df9d92a06343c92ce69f31dce10c3701c68f37 (diff) | |
download | px4-nuttx-1312bca729889dd97446689cf8c14740d83e7c9b.tar.gz px4-nuttx-1312bca729889dd97446689cf8c14740d83e7c9b.tar.bz2 px4-nuttx-1312bca729889dd97446689cf8c14740d83e7c9b.zip |
Remove os_internal.h it has been replace by several new header files under sched/. There have been some sneak inclusion paths via os_internal.h, so expect a few compilation errors for some architectures
Diffstat (limited to 'nuttx/sched/timer')
-rw-r--r-- | nuttx/sched/timer/timer_settime.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/nuttx/sched/timer/timer_settime.c b/nuttx/sched/timer/timer_settime.c index 5ea4efca2..716d05caf 100644 --- a/nuttx/sched/timer/timer_settime.c +++ b/nuttx/sched/timer/timer_settime.c @@ -44,7 +44,6 @@ #include <string.h> #include <errno.h> -#include "os_internal.h" #include "clock/clock.h" #include "signal/signal.h" #include "timer/timer.h" |