[bls-signatures] Build mcl with ubsan (#5765)

This commit is contained in:
Guido Vranken 2021-05-13 19:08:05 +02:00 committed by GitHub
parent 8221561c34
commit 3cc884e673
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions

View File

@ -135,7 +135,7 @@ then
fi fi
# Build mcl # Build mcl
if [[ "$SANITIZER" != "memory" && "$SANITIZER" != "undefined" ]] if [[ "$SANITIZER" != "memory" ]]
then then
cd $SRC/mcl/ cd $SRC/mcl/
mkdir build/ mkdir build/
@ -198,7 +198,7 @@ then
make -B make -B
fi fi
if [[ "$SANITIZER" != "memory" && "$SANITIZER" != "undefined" ]] if [[ "$SANITIZER" != "memory" ]]
then then
cd $SRC/cryptofuzz/modules/mcl/ cd $SRC/cryptofuzz/modules/mcl/
make -B make -B