From ae357f3b77288a8bd6ffd1e18e9d2e9009d0afaf Mon Sep 17 00:00:00 2001
From: Guido Vranken <guidovranken@users.noreply.github.com>
Date: Fri, 8 Jul 2022 04:27:27 +0200
Subject: [PATCH] [bls-signatures] Fix build (#7976)

---
 projects/bls-signatures/build.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/projects/bls-signatures/build.sh b/projects/bls-signatures/build.sh
index 6c9beca08..27eb1e936 100755
--- a/projects/bls-signatures/build.sh
+++ b/projects/bls-signatures/build.sh
@@ -164,6 +164,7 @@ fi
 if [[ "$SANITIZER" != "memory" ]]
 then
     cd $SRC/mcl/
+    make bint_header
     mkdir build/
     cd build/
     if [[ $CFLAGS != *-m32* ]]