stubdom: fix missing evtchn.h header

We actually do not need any since we include MiniOS' headers.

Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>

diff --git a/tools/libxc/xc_minios.c b/tools/libxc/xc_minios.c
index aceb387afb412835c23dbaffc7c6c1475d81729a..c57b7a5b7d9d7d9a5ced115e9eccccb38f626bd2 100644 (file)
--- a/tools/libxc/xc_minios.c
+++ b/tools/libxc/xc_minios.c
@@ -21,7 +21,6 @@
 #include <errno.h>
 
 #include <xen/memory.h>
-#include <xen/sys/evtchn.h>
 #include <unistd.h>
 #include <fcntl.h>
 #include <stdio.h>