diff --git a/Jenkinsfile b/Jenkinsfile index 4a11359b29..89d7447827 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -115,7 +115,7 @@ pipeline { stage('cppcheck') { agent { docker { - image 'px4io/px4-dev-base:2018-08-21' + image 'px4io/px4-dev-base:2018-08-23' args '-e CCACHE_BASEDIR=$WORKSPACE -v ${CCACHE_DIR}:${CCACHE_DIR}:rw' } }