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

---
 Jenkinsfile | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 30b58c2..1c82759 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -10,11 +10,11 @@ node {
   stage('Build') {
     sshCommand remote: remote, command: '\
     cd $(dirname $(find ~/jenkins/workspace/ant-http@script -name "Jenkinsfile")); \
-    libtoolize \
-    aclocal \
-    autoconf \
-    automake --add-missing \
-    make \
+    libtoolize; \
+    aclocal; \
+    autoconf; \
+    automake --add-missing; \
+    make; \
     '
   }
 }