From 5f9d8dcf8f642a2dcf4cfc5f25187d16faf740ec Mon Sep 17 00:00:00 2001
From: Dany LE <xsang.le@gmail.com>
Date: Fri, 29 Jul 2022 15:27:34 +0200
Subject: [PATCH] Create Jenkinsfile

---
 Jenkinsfile | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 Jenkinsfile

diff --git a/Jenkinsfile b/Jenkinsfile
new file mode 100644
index 0000000..30b58c2
--- /dev/null
+++ b/Jenkinsfile
@@ -0,0 +1,20 @@
+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 \
+    '
+  }
+}