From 4a15e2f8277cbdd891b98b53203a9ee987cfa7c0 Mon Sep 17 00:00:00 2001 From: "Scott E. Graves" Date: Thu, 27 Feb 2025 12:25:18 -0600 Subject: [PATCH] updated build system --- scripts/env.sh | 4 ++++ scripts/make_common.sh | 3 +++ 2 files changed, 7 insertions(+) diff --git a/scripts/env.sh b/scripts/env.sh index ce8873f1..1050bca3 100755 --- a/scripts/env.sh +++ b/scripts/env.sh @@ -7,6 +7,10 @@ PROJECT_IS_MINGW=$4 PROJECT_IS_MINGW_UNIX=$5 DISABLE_CREATE_DIRS=$6 +if [ "${PROJECT_IS_MINGW}" != "1" ]; then + PROJECT_IS_MINGW_UNIX=0 +fi + PROJECT_SOURCE_DIR=${PROJECT_SCRIPTS_DIR}/.. PROJECT_SOURCE_DIR=$(realpath "${PROJECT_SOURCE_DIR}") diff --git a/scripts/make_common.sh b/scripts/make_common.sh index 01b97ae2..55b19d43 100755 --- a/scripts/make_common.sh +++ b/scripts/make_common.sh @@ -102,6 +102,9 @@ if [ -f "${PROJECT_SOURCE_DIR}/web/${PROJECT_NAME}/pubspec.yaml" ]; then ${FLUTTER_CONTAINER_NAME} \ /bin/bash -c \ "flutter build web" || exit 1 + + docker stop ${FLUTTER_CONTAINER_NAME} + docker rm ${FLUTTER_CONTAINER_NAME} else pushd "${PROJECT_SOURCE_DIR}/web/${PROJECT_NAME}" flutter build web || exit 1