Update Jenkinsfile

This commit is contained in:
Dany LE 2022-08-01 12:12:14 +02:00 committed by GitHub
parent b435495850
commit e009e6dc20
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

4
Jenkinsfile vendored
View File

@ -31,7 +31,7 @@ pipeline{
steps { steps {
sshCommand remote: remote, command: ''' sshCommand remote: remote, command: '''
set -e set -e
export WORKSPACE="jenkins/workspace/ant-http" export WORKSPACE=$(realpath "./jenkins/workspace/ant-http")
cd $WORKSPACE cd $WORKSPACE
[ -d build ] && rm build [ -d build ] && rm build
mkdir build mkdir build
@ -41,7 +41,7 @@ pipeline{
automake --add-missing automake --add-missing
./configure --prefix=/usr ./configure --prefix=/usr
make make
DESTDIR=./build make install DESTDIR=$WORKSPACE/build make install
''' '''
script { script {
// only useful for any master branch // only useful for any master branch