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} \