diff options
| -rw-r--r-- | vgasrc/vgainit.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/vgasrc/vgainit.c b/vgasrc/vgainit.c index d6a297e..56222b4 100644 --- a/vgasrc/vgainit.c +++ b/vgasrc/vgainit.c @@ -18,9 +18,10 @@ #include "vgahw.h" // vgahw_setup #include "vgautil.h" // swcursor_check_event +#if CONFIG_X86 // Type of emulator platform - for dprintf with certain compile options. int PlatformRunningOn VAR16; - +#endif /**************************************************************** * PCI Data |