diff options
| -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' } } } |