dragon-nx32: Always include local devfd.h in devfd.c and devtty.c

This makes sure also the Build/* makefiles do the right thing.

Signed-off-by: Tormod Volden <debian.tormod@gmail.com>

diff --git a/Kernel/platform-dragon-nx32/devfd.c b/Kernel/platform-dragon-nx32/devfd.c
index c1c5417..398d207 100644 (file)
--- a/Kernel/platform-dragon-nx32/devfd.c
+++ b/Kernel/platform-dragon-nx32/devfd.c
@@ -1,7 +1,7 @@
 #include <kernel.h>
 #include <kdata.h>
 #include <printf.h>
-#include <devfd.h>
+#include "devfd.h"
 
 #define MAX_FD 4
 

diff --git a/Kernel/platform-dragon-nx32/devtty.c b/Kernel/platform-dragon-nx32/devtty.c
index 2fde9fa..21758bf 100644 (file)
--- a/Kernel/platform-dragon-nx32/devtty.c
+++ b/Kernel/platform-dragon-nx32/devtty.c
@@ -4,7 +4,7 @@
 #include <stdbool.h>
 #include <devtty.h>
 #include <device.h>
-#include <devfd.h>
+#include "devfd.h"
 #include <vt.h>
 #include <tty.h>
 #include <devdw.h>