Merge PR #13491: Reactivate test-suite on MacOS X, accidently merged in

#13476 Reviewed-by: gares
coq · Nov 27, 2020 · c294664 · c294664
2 parents 7f3c46a + 405e63c
commit c294664
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/azure-pipelines.yml b/azure-pipelines.yml
@@ -90,11 +90,11 @@ jobs:
       make -j "$NJOBS"
     displayName: 'Build Coq'
 
-#  - script: |
-#      eval $(opam env)
-#      export OCAMLPATH=$(pwd):"$OCAMLPATH"
-#      make -j "$NJOBS" test-suite PRINT_LOGS=1
-#    displayName: 'Run Coq Test Suite'
+  - script: |
+      eval $(opam env)
+      export OCAMLPATH=$(pwd):"$OCAMLPATH"
+      make -j "$NJOBS" test-suite PRINT_LOGS=1
+    displayName: 'Run Coq Test Suite'
 
   - script: |
       make install