From 017cca529c0394a546ff3fbd5402b479ee90be80 Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Wed, 7 Nov 2018 01:34:37 +0100
Subject: [PATCH] test skeleton in travis

---
 .travis-ci.sh | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/.travis-ci.sh b/.travis-ci.sh
index f4c9abc7..e7573396 100644
--- a/.travis-ci.sh
+++ b/.travis-ci.sh
@@ -5,10 +5,10 @@ eval $(opam config env)
 
 opam repo add mirage-dev .
 opam update -u
-export OPAMBUILDTEST=1
-opam depext -j2 -uiy mirage mirage-dns mirage-conduit conduit-async conduit-lwt-unix tcpip cohttp-async cohttp-lwt-jsoo cohttp-lwt-unix cohttp-top
 
-#git clone git://github.com/mirage/mirage-skeleton
-#cd mirage-skeleton
-#make MODE=${MODE}
+opam depext -uiy mirage
+
+git clone git://github.com/mirage/mirage-skeleton
+cd mirage-skeleton
+make MODE=${MODE}