Merge remote-tracking branch 'sstabellini/xen-fixes-20120801' into staging

* sstabellini/xen-fixes-20120801:
  fix Xen compilation
  configure: Fix xen probe with Xen 4.2 and later

1 files changed, 0 insertions, 1 deletions

diff --git a/configure b/configure
index 027a718140..3ca13a6ce1 100755
--- a/configure
+++ b/configure
@@ -1384,7 +1384,6 @@ if test "$xen" != "no" ; then
   # Xen (any)
   cat > $TMPC <<EOF
 #include <xenctrl.h>
-#include <xs.h>
 int main(void) {
   return 0;
 }