Jenkins update CMAKE_BUILD_TYPE to PX4_CMAKE_BUILD_TYPE

This commit is contained in:
Daniel Agar 2018-08-25 00:35:42 -04:00
parent 92d288e8d4
commit efbe63c1ca
1 changed files with 2 additions and 2 deletions

View File

@ -5,7 +5,7 @@ pipeline {
parameters {
choice(
name: 'CMAKE_BUILD_TYPE',
name: 'PX4_CMAKE_BUILD_TYPE',
choices: ['RelWithDebInfo', 'Coverage', 'AddressSanitizer'],
description: "CMake build type"
)
@ -74,7 +74,7 @@ pipeline {
sh 'make distclean'
}
when {
environment name: 'CMAKE_BUILD_TYPE', value: 'Coverage'
environment name: 'PX4_CMAKE_BUILD_TYPE', value: 'Coverage'
}
}