Jenkins uorb graphs set docker arguments

2026-05-23 06:36:45 +08:00 · 2018-01-05 22:57:17 -05:00
parent 1f63d85869
commit 37e3234e49
1 changed files with 4 additions and 1 deletions
@@ -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'