From 405e63c69f8cc00c7edcc07599fcd5abd44024ba Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Thu, 26 Nov 2020 21:44:30 +0100
Subject: Reactivate test-suite on MacOS X, accidently merged in #13476.

---
 azure-pipelines.yml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 809b6f87a9..11f225bdb6 100644
--- 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
-- 
cgit v1.2.3