From 2e41da4e7c7e47c091d1b35e3f7a93d3fa488093 Mon Sep 17 00:00:00 2001
From: Thomas Leonard <talex5@gmail.com>
Date: Mon, 11 May 2015 18:13:53 +0100
Subject: [PATCH] Test building mirage-skeleton for Xen

---
 .travis-ci.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.travis-ci.sh b/.travis-ci.sh
index 7b08d192..99080302 100644
--- a/.travis-ci.sh
+++ b/.travis-ci.sh
@@ -33,3 +33,6 @@ git clone git://github.com/mirage/mirage-skeleton
 cd mirage-skeleton
 make configure
 make build
+make clean
+make configure MODE=xen
+make build MODE=xen