Merge PR coq#10517: Azure CI MacOS: build byte target first

Reviewed-by: ejgallego
SkySkimmer · Jul 15, 2019 · a5998b0 · a5998b0
2 parents 8cb590a + c69843f
commit a5998b0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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'