travis: add PIN for mirage-protocols#keepalive

Signed-off-by: David Scott <dave@recoil.org>
mirage · Sep 5, 2017 · 530abb3 · 530abb3
1 parent 8950c6b
commit 530abb3
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -2,6 +2,8 @@ language: c
 script: bash -ex .travis-ci.sh
 sudo: required
 env:
+  global:
+  - PINS="mirage-protocols:git://github.com/djs55/mirage-protocols.git#keepalive"
   matrix:
   - OCAML_VERSION=4.03 PACKAGE=tcpip MIRAGE_MODE=unix
   - UPDATE_GCC_BINUTILS=1 OCAML_VERSION=4.03 PACKAGE=tcpip MIRAGE_MODE=xen