From 696002bcf711859e84b4ab8cc4bbcded8b18580f Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Tue, 30 Jan 2018 17:23:57 +0100
Subject: [PATCH] [travis] Fix faulty conditional for dolmen pinning

---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index c3e1e478..a1e014fc 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -34,7 +34,7 @@ before_install:
   - eval `${HOME}/opam config env`
   - export OPAMVERBOSE=1
   # Testing requires the dev version of dolmen
-  - if [ "$TO_TEST" = "tests" ]; then ${HOME}/opam pin add --dev-repo dolmen; fi
+  - if [ "$OPAMBUILDTEST" = "true" ]; then ${HOME}/opam pin add --dev-repo dolmen; fi
 install:
   # Install dependencies
   - ${HOME}/opam pin add --no-action msat .