]> Pileus Git - ~andy/linux/blobdiff - arch/um/os-Linux/time.c
Merge branch 'tip/perf/urgent' of git://git.kernel.org/pub/scm/linux/kernel/git/roste...
[~andy/linux] / arch / um / os-Linux / time.c
index 0748fe0c8a73dfa07aad69af8db1e4dcf5194550..fac388cb464f470d1c0285778f387fad1f1ba1e7 100644 (file)
@@ -8,8 +8,8 @@
 #include <signal.h>
 #include <time.h>
 #include <sys/time.h>
-#include "kern_util.h"
-#include "os.h"
+#include <kern_util.h>
+#include <os.h>
 #include "internal.h"
 
 int set_interval(void)