Update Jenkinsfile

This commit is contained in:
Dany LE 2022-08-22 09:52:10 +02:00 committed by GitHub
parent 14b72ef425
commit 19a8610f1c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

11
Jenkinsfile vendored
View File

@ -42,17 +42,6 @@ pipeline{
'''
}
}
stage('Build demo') {
steps {
sshCommand remote: remote, command: '''
set -e
export WORKSPACE=$(realpath "./jenkins/workspace/antos")
cd $WORKSPACE
export BUILDDIR="/home/dany/docker/antos/htdocs/os"
make
'''
}
}
stage('Build release') {
steps {
sshCommand remote: remote, command: '''