From bdc54d711527e32d281d7c537809e5abacb9a087 Mon Sep 17 00:00:00 2001 From: "Scott E. Graves" Date: Sat, 27 Jul 2024 10:11:59 -0500 Subject: [PATCH] updated build system --- scripts/docker_common.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/scripts/docker_common.sh b/scripts/docker_common.sh index 9dfc46ae..a3638c65 100755 --- a/scripts/docker_common.sh +++ b/scripts/docker_common.sh @@ -28,9 +28,12 @@ popd if [ "${DOCKER_CREATE_ONLY}" != "1" ]; then docker run -td \ + --env DEVELOPER_PRIVATE_KEY=${DEVELOPER_PRIVATE_KEY} \ + --env DEVELOPER_PUBLIC_KEY=${DEVELOPER_PUBLIC_KEY} \ --env MY_NUM_JOBS=${NUM_JOBS} \ --name ${DOCKER_CONTAINER} \ -u $(id -u):$(id -g) \ + -v /.ci/${PROJECT_NAME}:/.ci/${PROJECT_NAME}:r \ -v ${PROJECT_SOURCE_DIR}:${PROJECT_SOURCE_DIR}:rw,z \ -w ${PROJECT_SOURCE_DIR} \ ${DOCKER_TAG} || exit 1