[jenkins] For sanitized build use RelWithDebInfo build mode

This commit is contained in:
Nils Wentzell 2023-09-27 11:12:07 -04:00
parent b4fb9624e3
commit 93ee35d25e
1 changed files with 1 additions and 1 deletions

2
Jenkinsfile vendored
View File

@ -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") {