From f13b3effd64c0853b2a33f7cd0cab2763ee872b5 Mon Sep 17 00:00:00 2001 From: Savanni D'Gerinel Date: Thu, 5 Oct 2023 12:30:18 -0400 Subject: [PATCH] Run release build before building running the dist scripts --- build.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/build.sh b/build.sh index 47ecb19..ad92ff2 100755 --- a/build.sh +++ b/build.sh @@ -38,6 +38,7 @@ build_dist() { for target in $TARGETS; do if [ -f $target/dist.sh ]; then + build_rust_targets release ${TARGETS[*]} cd $target && ./dist.sh fi done