From 26cd6de1100cf293e069615c0fdcbae88c4e478b Mon Sep 17 00:00:00 2001 From: "Scott E. Graves" Date: Thu, 25 Jul 2024 06:58:50 -0500 Subject: [PATCH] updated build system --- scripts/run_docker_shell.sh | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/scripts/run_docker_shell.sh b/scripts/run_docker_shell.sh index 20b6be3f..efe6df80 100755 --- a/scripts/run_docker_shell.sh +++ b/scripts/run_docker_shell.sh @@ -4,9 +4,13 @@ CURRENT_DIR=$(dirname "$0") CURRENT_DIR=$(realpath ${CURRENT_DIR}) DOCKER_NAME=$1 -shift -. "${CURRENT_DIR}/env.sh" "$1" "$2" "$3" "$4" "$5" 1 1>/dev/null 2>&1 +. "${CURRENT_DIR}/env.sh" "$2" "$3" "$4" "$5" "$6" 1 1>/dev/null 2>&1 + +if [ -f "${CURRENT_DIR}/cleanup.sh" ]; then + . "${CURRENT_DIR}/cleanup.sh" "$2" "$3" "$4" "$5" "$6" + rm ${CURRENT_DIR}/cleanup.* +fi DOCKER_CONTAINER=${PROJECT_NAME}_${DOCKER_NAME}_${PROJECT_BUILD_ARCH}_shell DOCKER_TAG=${PROJECT_NAME}:${DOCKER_NAME}