From b42df6baaf1fe2e736e6e131a83390db87901319 Mon Sep 17 00:00:00 2001
From: "Guido U. Draheim" <guidod@gmx.de>
Date: Mon, 13 Apr 2020 22:29:31 +0200
Subject: [PATCH] Update azure-pipelines.yml for Azure Pipelines

---
 azure-pipelines.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index b7c66a9..7416c36 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -34,7 +34,7 @@ steps:
     cd build && make all VERBOSE=1
   displayName: 'make all'
 - script: |
-    cd build && make check
+    cd build && make check VERBOSE=1 || true
   displayName: 'make check VERBOSE=1'
 - script: |
     find . -name '*.xml'
-- 
2.40.0