[Build] Fix deployment on new Ubuntu images

eclipse-pde · Oct 3, 2024 · 6624637 · 6624637
1 parent c98ed00
commit 6624637
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -51,7 +51,7 @@ pipeline {
 			}
 			steps {
 				sshagent(['projects-storage.eclipse.org-bot-ssh']) {
-					 sh '''
+					 sh '''#!/bin/bash
 						ssh genie.pde@projects-storage.eclipse.org "rm -rf /home/data/httpd/download.eclipse.org/pde/builds/master/*"
 						scp -r repository/target/repository/* genie.pde@projects-storage.eclipse.org:/home/data/httpd/download.eclipse.org/pde/builds/master/
 						'''