diff --git a/Jenkinsfile b/Jenkinsfile index 503c8936..c847ef69 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -42,7 +42,7 @@ for (int i = 0; i < dockerPlatforms.size(); i++) { if (platform == documentationPlatform) args = '-DBuild_Documentation=1' else if (platform == "sanitize") - args = '-DASAN=ON -DUBSAN=ON' + 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}' .") catchError(buildResult: 'UNSTABLE', stageResult: 'UNSTABLE') { img.inside("--shm-size=4gb") {