Update Jenkinsfile

Jenkinsfile

@@ -1,24 +1,3 @@
-node {
-  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'
-  stage('Build') {
-    sshCommand remote: remote, command: '\
-    cd $(dirname $(find ~/jenkins/workspace/ant-http@script -name "Jenkinsfile")); \
-    libtoolize; \
-    aclocal; \
-    autoconf; \
-    automake --add-missing; \
-    make; \
-    '
-  }
-}
-
 def remote = [:]
 remote.name = 'workstation'
 remote.host = 'workstation'
@@ -52,6 +31,8 @@ pipeline{
       steps {
           sshCommand remote: remote, command: '''
             set -e
+            export WORKSPACE="jenkins/workspace/ant-http"
+            cd $WORKSPACE
             libtoolize
             aclocal
             autoconf