test skeleton in travis

mirage · Nov 7, 2018 · 017cca5 · 017cca5
1 parent b0fee3e
commit 017cca5
Showing 1 changed file with 5 additions and 5 deletions.
diff --git 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}