From b04a40a5256168fdefedef774fde171d2ceaa618 Mon Sep 17 00:00:00 2001
From: Charles DELTEL <charles.deltel@inria.fr>
Date: Thu, 9 Dec 2021 16:23:58 +0100
Subject: [PATCH] Update CI scripts

---
 scripts/jenkins/tool-dsk-build-macos-10.9.5-gcc-4.2.1.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/jenkins/tool-dsk-build-macos-10.9.5-gcc-4.2.1.sh b/scripts/jenkins/tool-dsk-build-macos-10.9.5-gcc-4.2.1.sh
index ac70e1f..3994b83 100644
--- a/scripts/jenkins/tool-dsk-build-macos-10.9.5-gcc-4.2.1.sh
+++ b/scripts/jenkins/tool-dsk-build-macos-10.9.5-gcc-4.2.1.sh
@@ -101,7 +101,7 @@ if [ $? -eq 0 ] && [ "$INRIA_FORGE_LOGIN" != none ] && [ "$DO_NOT_STOP_AT_ERROR"
     make package_source
 
     # make both tar.gz available as Jenkins build artifacts    
-    cp ${ARCHIVE_NAME}-${BRANCH_TO_BUILD}-bin-Darwin.tar.gz ${WORKSPACE}/
-    cp ${ARCHIVE_NAME}-${BRANCH_TO_BUILD}-Source.tar.gz ${WORKSPACE}/
+    cp ${TOOL_NAME}-${BRANCH_TO_BUILD}-bin-Darwin.tar.gz ${WORKSPACE}/
+    cp ${TOOL_NAME}-${BRANCH_TO_BUILD}-Source.tar.gz ${WORKSPACE}/
 fi