sched/doc: Fix generation of device-drivers

[~andy/linux] / kernel / futex.c

diff --git a/kernel/futex.c b/kernel/futex.c
index c3a1a55a52141851630b91f2bff2aa789b508ace..80ba086f021d3022afcf3f06ecdb1d920cdc8f7c 100644 (file)
--- a/kernel/futex.c
+++ b/kernel/futex.c
@@ -66,7 +66,7 @@
 
 #include <asm/futex.h>
 
-#include "rtmutex_common.h"
+#include "locking/rtmutex_common.h"
 
 int __read_mostly futex_cmpxchg_enabled;