From 159f7ccaac3fe00f117a4f29aadaf49174e8b930 Mon Sep 17 00:00:00 2001 From: Serhii Shymkiv Date: Mon, 4 Dec 2023 19:00:16 +0200 Subject: [PATCH] An attempt to support multi-arch by compiling Kimchi with no optimization. --- scripts/build-all.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/build-all.sh b/scripts/build-all.sh index 8688cd5..caff455 100755 --- a/scripts/build-all.sh +++ b/scripts/build-all.sh @@ -61,6 +61,7 @@ buildMina() { sudo make clean export MINA_COMMIT_SHA1=$(git rev-parse HEAD) export DUNE_PROFILE="${1}" + export RUST_TARGET_FEATURE_OPTIMISATIONS=n make libp2p_helper ${DUNE_BUILD_COMMAND} \