From 24f58227a59c017853a16511d83733048f353c38 Mon Sep 17 00:00:00 2001
From: Bryce Denney <bryce@tlw.com>
Date: Mon, 25 Nov 2002 15:05:02 +0000
Subject: [PATCH] - use </usr/include/vga.h> instead of "/usr/include/vga.h" so
 that it   doesn't get put in the dependency list.  It's not clear what is the
 best way   to handle this header conflict anyway, other than to rename vga.h
 to bxvga.h   or something.

---
 bochs/gui/svga.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bochs/gui/svga.cc b/bochs/gui/svga.cc
index f7fdac50f..f50c9cb5f 100644
--- a/bochs/gui/svga.cc
+++ b/bochs/gui/svga.cc
@@ -21,7 +21,7 @@
 #define BX_PLUGGABLE
 
 #include <stdlib.h>
-#include "/usr/include/vga.h"
+#include </usr/include/vga.h>
 #include <vgagl.h>
 #include <vgakeyboard.h>
 #include <vgamouse.h>