From 95d977bf0b1825b7d822abbdd062cdb8c38051cb Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Tue, 22 Jan 2019 23:29:28 +0100
Subject: Remove travis

The azure OSX job replaces the first travis job, and the second always
fails and so is useless.
---
 dev/build/windows/makecoq_mingw.sh | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'dev/build')

diff --git a/dev/build/windows/makecoq_mingw.sh b/dev/build/windows/makecoq_mingw.sh
index 07a13b8204..2e934ff0c0 100755
--- a/dev/build/windows/makecoq_mingw.sh
+++ b/dev/build/windows/makecoq_mingw.sh
@@ -444,9 +444,6 @@ function load_overlay_data {
   else
     export CI_BRANCH=""
     export CI_PULL_REQUEST=""
-    # Used when building 8.8.0 with the latest scripts
-    export TRAVIS_BRANCH=""
-    export TRAVIS_PULL_REQUEST=""
   fi
 
   for overlay in /build/user-overlays/*.sh; do
-- 
cgit v1.2.3