Fix double patch of extern int intel in dom0_driver.c

diff --git a/master/intel b/master/intel
index 20587f59f5d75424c67f4f34ed07b212064dbefe..caeac74fe9661aaf7de777541dacffde952b03ff 100644 (file)
--- a/master/intel
+++ b/master/intel
@@ -36,14 +36,6 @@ diff --git a/dom0_driver.c b/dom0_driver.c
 index a0fa64e..c8b376e 100644
 --- a/dom0_driver.c
 +++ b/dom0_driver.c
-@@ -43,6 +43,7 @@
- #include <time.h>
- 
- extern int vga_passthrough;
-+extern int intel;
- 
- static void dom0_driver_state_change(const char *path, void *opaque);
- static void dom0_driver_command(const char *path, void *opaque);
 @@ -698,6 +699,11 @@ void dom0_driver_init(const char *position)
        driver.enter = dom0_driver_unblank;
        driver.leave = dom0_driver_blank;