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