diff --git a/Jenkinsfile b/Jenkinsfile index e7faca9..8b220e9 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,13 +1,5 @@ -def remote = [:] -remote.name = 'workstation' -remote.host = 'workstation' -remote.user = 'dany' -remote.identityFile = '/var/jenkins_home/.ssh/id_rsa' -remote.allowAnyHosts = true -remote.agent = false -remote.logLevel = 'INFO' pipeline{ - agent { node{ label'master' }} + agent { node{ label'workstation' }} options { // Limit build history with buildDiscarder option: // daysToKeepStr: history is only kept up to this many days. @@ -29,16 +21,11 @@ pipeline{ stage('Build') { steps { sh''' - export -p | tee build.source -cat <<"EOF" >>build.source cd $WORKSPACE [ -d build ] && rm -rf build mkdir -p build/opt/www/htdocs export BUILDDIR="$WORKSPACE/build/opt/www/htdocs" - make -EOF ''' - sshScript remote: remote, script: "build.source" script { // only useful for any master branch //if (env.BRANCH_NAME =~ /^master/) {