Merge pull request #195 from yomimono/remove-pins

update test pins to point to current mirage & mirage-types master
mirage · Apr 4, 2016 · 363463a · 363463a
2 parents ddc22b8 + 90b7ddd
commit 363463a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -3,7 +3,7 @@ script: bash -ex .travis-ci.sh
 sudo: required
 env:
   global:
-  - PINS="mirage:https://github.com/yomimono/mirage.git#icmp_type mirage-types:https://github.com/yomimono/mirage.git#icmp_type"
+  - PINS="mirage:https://github.com/mirage/mirage.git mirage-types:https://github.com/mirage/mirage.git"
   matrix:
   - OCAML_VERSION=4.02 PACKAGE=tcpip MIRAGE_MODE=unix
   - UPDATE_GCC_BINUTILS=1 OCAML_VERSION=4.02 PACKAGE=tcpip MIRAGE_MODE=xen