diff options
| author | Emilio Jesus Gallego Arias | 2019-07-15 13:58:49 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-07-15 13:58:49 +0200 |
| commit | a5998b06ccf2367f7d1e58dc80e4237754c953bc (patch) | |
| tree | 2d125f15d84bb60ce622d562c9853e73cc3279a0 | |
| parent | 8cb590a246a1d8a795857a1196c3b8334f465e69 (diff) | |
| parent | c69843ff2ba3f6e8b5f9d04ad3b01a4ccf9ad9c0 (diff) | |
Merge PR #10517: Azure CI MacOS: build byte target first
Reviewed-by: ejgallego
| -rw-r--r-- | azure-pipelines.yml | 1 |
1 files changed, 1 insertions, 0 deletions
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' |