diff --git a/Jenkinsfile b/Jenkinsfile index 0365d7d9..ff96152e 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -43,7 +43,8 @@ for (int i = 0; i < dockerPlatforms.size(); i++) { args = '-DBuild_Documentation=1' else if (platform == "sanitize") args = '-DASAN=ON -DUBSAN=ON -DCMAKE_BUILD_TYPE=RelWithDebInfo' - def img = docker.build("flatironinstitute/${dockerName}:${env.BRANCH_NAME}-${env.STAGE_NAME}", "--build-arg APPNAME=${projectName} --build-arg BUILD_ID=${env.BUILD_TAG} --build-arg CMAKE_ARGS='${args}' .") + def uid = sh(returnStdout: true, script: "id -u").trim() + def img = docker.build("flatironinstitute/${dockerName}:${env.BRANCH_NAME}-${env.STAGE_NAME}", "--build-arg APPNAME=${projectName} --build-arg BUILD_ID=${env.BUILD_TAG} --build-arg CMAKE_ARGS='${args}' --build-arg BUILDUID=${uid} .") catchError(buildResult: 'UNSTABLE', stageResult: 'UNSTABLE') { img.inside("--shm-size=4gb") { sh "make -C \$BUILD/${projectName} test CTEST_OUTPUT_ON_FAILURE=1"