From 37e3234e49a7e366ed891ac3a03d603ddd017c40 Mon Sep 17 00:00:00 2001 From: Daniel Agar Date: Fri, 5 Jan 2018 22:57:17 -0500 Subject: [PATCH] Jenkins uorb graphs set docker arguments --- Jenkinsfile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index a72f42dfcb..bbe90443ba 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -624,7 +624,10 @@ pipeline { stage('uorb graphs') { agent { - docker { image 'px4io/px4-dev-nuttx:2017-12-30' } + docker { + image 'px4io/px4-dev-nuttx:2017-12-30' + args '-e CI=true -e CCACHE_BASEDIR=$WORKSPACE -e CCACHE_DIR=/tmp/ccache -v /tmp/ccache:/tmp/ccache:rw -e HOME=$WORKSPACE' + } } steps { sh 'make uorb_graphs'