Browse Source

Jenkins run tests under address sanitizer

sbg
Daniel Agar 7 years ago committed by Beat Küng
parent
commit
af168e42b9
  1. 19
      Jenkinsfile

19
Jenkinsfile vendored

@ -273,6 +273,25 @@ pipeline { @@ -273,6 +273,25 @@ pipeline {
}
}
stage('tests (address sanitizer)') {
agent {
docker {
image 'px4io/px4-dev-base:2018-03-30'
args '-e CCACHE_BASEDIR=$WORKSPACE -v ${CCACHE_DIR}:${CCACHE_DIR}:rw'
}
}
environment {
PX4_ASAN = 1
ASAN_OPTIONS = "color=always:check_initialization_order=1:detect_stack_use_after_return=1"
}
steps {
sh 'export'
sh 'make distclean'
sh 'make tests'
sh 'make distclean'
}
}
stage('check stack') {
agent {
docker {

Loading…
Cancel
Save