Fix travis

This commit is contained in:
Thomas Leonard 2016-02-23 11:48:13 +00:00
parent 70d7fe5d1b
commit cd917bab7f

View File

@ -18,5 +18,6 @@ addons:
- camlp4
- camlp4-extra
- time
- libxen-dev
env:
- FORK_USER=talex5 FORK_BRANCH=unikernel OCAML_VERSION=4.02 MIRAGE_BACKEND=xen PINS="mirage-xen:https://github.com/talex5/mirage-platform.git#mm mirage-nat:https://github.com/talex5/mirage-nat.git#simplify-checksum tcpip:https://github.com/mirage/mirage-tcpip.git"