From ed3a45bfc60ba7b3966df9c530046bdc0ec364f6 Mon Sep 17 00:00:00 2001 From: "Scott E. Graves" Date: Sat, 27 Jul 2024 10:22:56 -0500 Subject: [PATCH] updated build system --- scripts/docker_common.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/docker_common.sh b/scripts/docker_common.sh index a3638c65..0768af51 100755 --- a/scripts/docker_common.sh +++ b/scripts/docker_common.sh @@ -33,7 +33,7 @@ if [ "${DOCKER_CREATE_ONLY}" != "1" ]; then --env MY_NUM_JOBS=${NUM_JOBS} \ --name ${DOCKER_CONTAINER} \ -u $(id -u):$(id -g) \ - -v /.ci/${PROJECT_NAME}:/.ci/${PROJECT_NAME}:r \ + -v /.ci/${PROJECT_NAME}:/.ci/${PROJECT_NAME}:ro \ -v ${PROJECT_SOURCE_DIR}:${PROJECT_SOURCE_DIR}:rw,z \ -w ${PROJECT_SOURCE_DIR} \ ${DOCKER_TAG} || exit 1