diff --git a/Jenkinsfile b/Jenkinsfile index f85abeaecc..1fc3c85518 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -5,6 +5,7 @@ pipeline { stage('build') { steps { sh '''#!/bin/bash -l + ONOS_ROOT=`pwd` source tools/build/envDefaults onos-buck build onos '''