From 3cc884e6735319e527172e756c9097331882da63 Mon Sep 17 00:00:00 2001
From: Guido Vranken <guidovranken@users.noreply.github.com>
Date: Thu, 13 May 2021 19:08:05 +0200
Subject: [PATCH] [bls-signatures] Build mcl with ubsan (#5765)

---
 projects/bls-signatures/build.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/projects/bls-signatures/build.sh b/projects/bls-signatures/build.sh
index 6498dc5b2..f1d013c4c 100755
--- a/projects/bls-signatures/build.sh
+++ b/projects/bls-signatures/build.sh
@@ -135,7 +135,7 @@ then
 fi
 
 # Build mcl
-if [[ "$SANITIZER" != "memory" && "$SANITIZER" != "undefined" ]]
+if [[ "$SANITIZER" != "memory" ]]
 then
     cd $SRC/mcl/
     mkdir build/
@@ -198,7 +198,7 @@ then
     make -B
 fi
 
-if [[ "$SANITIZER" != "memory" && "$SANITIZER" != "undefined" ]]
+if [[ "$SANITIZER" != "memory" ]]
 then
     cd $SRC/cryptofuzz/modules/mcl/
     make -B