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