diff options
Diffstat (limited to 'arch/um/os-Linux/time.c')
| -rw-r--r-- | arch/um/os-Linux/time.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/arch/um/os-Linux/time.c b/arch/um/os-Linux/time.c index 0748fe0c8a73..fac388cb464f 100644 --- a/arch/um/os-Linux/time.c +++ b/arch/um/os-Linux/time.c | |||
| @@ -8,8 +8,8 @@ | |||
| 8 | #include <signal.h> | 8 | #include <signal.h> |
| 9 | #include <time.h> | 9 | #include <time.h> |
| 10 | #include <sys/time.h> | 10 | #include <sys/time.h> |
| 11 | #include "kern_util.h" | 11 | #include <kern_util.h> |
| 12 | #include "os.h" | 12 | #include <os.h> |
| 13 | #include "internal.h" | 13 | #include "internal.h" |
| 14 | 14 | ||
| 15 | int set_interval(void) | 15 | int set_interval(void) |