diff options
author | Christian Poessinger <christian@poessinger.com> | 2019-10-30 13:50:29 +0100 |
---|---|---|
committer | Christian Poessinger <christian@poessinger.com> | 2019-10-30 13:50:29 +0100 |
commit | f27e6767a0d20400f58a7e0eedc15373d51e2c1a (patch) | |
tree | 3ab93b864f4a9452dbae45d6381eb44bde4c68ca /Jenkinsfile | |
parent | 5138b5ebe36f7f1ca089d1da50b4a86b4b1fee20 (diff) | |
download | libvyosconfig-f27e6767a0d20400f58a7e0eedc15373d51e2c1a.tar.gz libvyosconfig-f27e6767a0d20400f58a7e0eedc15373d51e2c1a.zip |
Jenkins: eval opam environment
Diffstat (limited to 'Jenkinsfile')
-rw-r--r-- | Jenkinsfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index bcce16d..9309a5e 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -100,7 +100,7 @@ pipeline { def commitId = sh(returnStdout: true, script: 'git rev-parse --short=11 HEAD').trim() currentBuild.description = sprintf('Git SHA1: %s', commitId[-11..-1]) - sh 'dpkg-buildpackage -b -us -uc -tc' + sh 'eval $(opam env --root=/opt/opam --set-root) && dpkg-buildpackage -b -us -uc -tc' } } } |