travis: workaround for opam 1.1 pin limits

mirage · Aug 28, 2014 · 832fd84 · 832fd84
1 parent 6b75eeb
commit 832fd84
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.travis-ci.sh b/.travis-ci.sh
@@ -25,6 +25,7 @@ opam pin dns .
 opam install base64 # can remove with opam 1.2?
 opam install dns
 opam install mirage-types
+opam reinstall dns # local depopt not picked up by opam 1.1
 
 eval `opam config env`
 make clean