From 10a5e226607bf54bc6554e74976464448a24ca9e Mon Sep 17 00:00:00 2001
From: Juergen Repp <juergen_repp@web.de>
Date: Tue, 8 Nov 2022 09:39:33 +0100
Subject: [PATCH] CI: Fix check whether sanitizer can be used.

The check in docker.run whether libasan and libubsan are available
did not work.

Signed-off-by: Juergen Repp <juergen_repp@web.de>
---
 .ci/docker.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.ci/docker.run b/.ci/docker.run
index 0ace9f94f..1653f361a 100755
--- a/.ci/docker.run
+++ b/.ci/docker.run
@@ -68,7 +68,7 @@ if [[ "$CC" == "gcc" && "$ENABLE_COVERAGE" == "true" ]]; then
     export CONFIGURE_OPTIONS="$CONFIGURE_OPTIONS --enable-code-coverage";
 fi
 
-if [ ldconfig -p 2>/dev/null| grep libasan > /dev/null && ldconfig -p 2>/dev/null| grep libubsan > /dev/null ]; then
+if ldconfig -p 2>/dev/null| grep libasan > /dev/null && ldconfig -p 2>/dev/null| grep libubsan > /dev/null; then
   SANITIZER_OPTION="--with-sanitizer=undefined,address"
 fi