From c69843ff2ba3f6e8b5f9d04ad3b01a4ccf9ad9c0 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Mon, 15 Jul 2019 13:15:35 +0200
Subject: Azure CI MacOS: build byte target first

It looks like the recent spurious failures are because it somehow
wants to build gramlib byte and opt at the same time and the old race
condition causes the error.

Having failed to debug the makefile, we work around by building byte first.
---
 azure-pipelines.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index fd99dc6d18..1648638555 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -81,6 +81,7 @@ jobs:
 
       eval $(opam env)
       ./configure -prefix '$(Build.BinariesDirectory)' -warn-error yes -native-compiler no -coqide opt
+      make -j "$NJOBS" byte
       make -j "$NJOBS"
     displayName: 'Build Coq'
 
-- 
cgit v1.2.3