From 61e44b1af5560afb46a4aeb1f36214cc89abe849 Mon Sep 17 00:00:00 2001
From: Antonio Calanducci <antonio.calanducci@isti.cnr.it>
Date: Tue, 19 Dec 2023 17:15:43 +0100
Subject: [PATCH] Trying to fix resource manager build via jenkins

---
 .gitignore  | 1 +
 JenkinsFile | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 5c199eb..f2b21be 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
 # ---> Ansible
 *.retry
+.DS_Store
 
diff --git a/JenkinsFile b/JenkinsFile
index 0e2b909..ed5db2b 100644
--- a/JenkinsFile
+++ b/JenkinsFile
@@ -58,7 +58,7 @@ pipeline {
     stage('trigger Resource Manager image job') {
         steps {
             script {
-                build(job: 'resource-manager-image', wait: false, propagate: false);
+                build(job: 'resource-manager-service-image', wait: false, propagate: false);
             }
         }
     }