diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile index 78373e2c9016170a982e5d4f0dd62d6754cf1775..f422766afb030f232a7dd18ad735e74b2f77fa48 100644 --- a/ci/Jenkinsfile +++ b/ci/Jenkinsfile @@ -42,6 +42,12 @@ pipeline { git config --global user.email nobody@example.com ''' checkoutCollaboraGitlab('steam/pressure-vessel', 'master', 'src') + dir('src') { + sh ''' + ./build-aux/git-version-gen .tarball-version > .tarball-version_ + mv .tarball-version_ .tarball-version + ''' + } script { if (env.CI_DOCKER_REGISTRY_CRED == '') {