From 26638b7cab1d17766b8d785a35ebf84c6d7dddd7 Mon Sep 17 00:00:00 2001
From: Tormod Volden <debian.tormod@gmail.com>
Date: Sat, 21 May 2016 23:36:53 +0200
Subject: [PATCH] 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>
---
 Kernel/platform-dragon-nx32/devfd.c  | 2 +-
 Kernel/platform-dragon-nx32/devtty.c | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Kernel/platform-dragon-nx32/devfd.c b/Kernel/platform-dragon-nx32/devfd.c
index c1c5417d..398d2079 100644
--- 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 2fde9fa7..21758bf8 100644
--- 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>
-- 
2.34.1