diff --git a/Jenkinsfile b/Jenkinsfile
index c33c51e7ca..84cc617f61 100644
--- 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/
 						'''