Update 'Jenkinsfile'

This commit is contained in:
dany 2022-09-20 14:54:59 +02:00
parent 65285d6b83
commit e5d884cbdc

2
Jenkinsfile vendored
View File

@ -6,7 +6,7 @@ remote.identityFile = '/var/jenkins_home/.ssh/id_rsa'
remote.allowAnyHosts = true
remote.agent = false
remote.logLevel = 'INFO'
def build_appimage()
def copylib()
{
sh '''
set -e