From 307ff008f90d82055b33e9f47ef5f196537ae836 Mon Sep 17 00:00:00 2001
From: Dany LE <xsang.le@gmail.com>
Date: Mon, 1 Aug 2022 12:01:13 +0200
Subject: [PATCH] Update Jenkinsfile

---
 Jenkinsfile | 44 ++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 44 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 1c82759..16c3a56 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -18,3 +18,47 @@ 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'
+
+pipeline{
+  agent { node{ label'master' }}
+  options {
+    // Limit build history with buildDiscarder option:
+    // daysToKeepStr: history is only kept up to this many days.
+    // numToKeepStr: only this many build logs are kept.
+    // artifactDaysToKeepStr: artifacts are only kept up to this many days.
+    // artifactNumToKeepStr: only this many builds have their artifacts kept.
+    buildDiscarder(logRotator(numToKeepStr: "1"))
+    // Enable timestamps in build log console
+    timestamps()
+    // Maximum time to run the whole pipeline before canceling it
+    timeout(time: 1, unit: 'HOURS')
+    // Use Jenkins ANSI Color Plugin for log console
+    ansiColor('xterm')
+    // Limit build concurrency to 1 per branch
+    disableConcurrentBuilds()
+  }
+  stages
+  {
+    stage('Build') {
+      steps {
+          sshCommand remote: remote, command: '''
+            set -e
+            libtoolize
+            aclocal
+            autoconf
+            automake --add-missing
+            make
+          '''
+      }
+    }
+  }
+}