diff options
| -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' |