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

---
 Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 6b35de0..d01af87 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -31,7 +31,7 @@ pipeline{
       steps {
         sshCommand remote: remote, command: '''
             set -e
-            export WORKSPACE="jenkins/workspace/ant-http"
+            export WORKSPACE=$(realpath "./jenkins/workspace/ant-http")
             cd $WORKSPACE
             [ -d build ] && rm build
             mkdir build
@@ -41,7 +41,7 @@ pipeline{
             automake --add-missing
             ./configure --prefix=/usr
             make
-            DESTDIR=./build make install
+            DESTDIR=$WORKSPACE/build make install
           '''
         script {
             // only useful for any master branch