diff options
-rw-r--r-- | Jenkinsfile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index f37e9bf14..f8f6a2f8b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -457,7 +457,9 @@ pipeline { stage('Build from tarball & test') { steps { unstash 'tarball' - sh( script: build_and_test ) + withEnv(['MIX_HOME='+pwd(), 'HEX_HOME='+pwd()]) { + sh( script: build_and_test ) + } } post { always { |