Skip to content

Commit

Permalink
Use mirage-skeletong for CI.
Browse files Browse the repository at this point in the history
  • Loading branch information
@Drup
Drup committed Sep 21, 2015
1 parent dbfbc5a commit aed2df8
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions .travis-ci.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ bash -ex .travis-opam.sh

eval `opam config env`
opam install mirage -y
cd lib_test
make MODE=unix MIRAGE=mirage BFLAGS=
make clean
make MODE=xen MIRAGE=mirage BFLAGS=
opam source mirage-skeleton
cd mirage-skeleton.dev
MODE=unix make
MODE=xen make

0 comments on commit aed2df8

Please sign in to comment.