From cd917bab7f2cf1fe8dba4e1bd9115eaba72acd69 Mon Sep 17 00:00:00 2001 From: Thomas Leonard Date: Tue, 23 Feb 2016 11:48:13 +0000 Subject: [PATCH] Fix travis --- .travis.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.travis.yml b/.travis.yml index 102e9a6..1860eff 100644 --- a/.travis.yml +++ b/.travis.yml @@ -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"