Update Jenkinsfile

pull/255/head
Pablo Fuente Pérez 2019-03-23 15:49:09 +01:00 committed by GitHub
parent 7b9df608f2
commit 0c6de93567
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 1 deletions

View File

@ -27,7 +27,9 @@ node('container') {
'''.stripIndent()) '''.stripIndent())
sh(script: '''#!/bin/bash sh(script: '''#!/bin/bash
if $KURENTO_MEDIA_SERVER_DEV ; then if $KURENTO_MEDIA_SERVER_DEV ; then
sudo apt-get install --only-upgrade kurento-media-server DISTRO=`lsb_release --codename | cut -f2`
echo "deb [arch=amd64] http://ubuntu.openvidu.io/dev $DISTRO kms6" | tee /etc/apt/sources.list.d/kurento.list
apt-get update && apt-get upgrade -y kurento-media-server
fi fi
'''.stripIndent()) '''.stripIndent())
} }