From 70fed04c41da422b11b3f9735f8cbc5863714a24 Mon Sep 17 00:00:00 2001
From: Daniel Ledda <ledda@cip.ifi.lmu.de>
Date: Sun, 29 Aug 2021 17:19:15 +0200
Subject: [PATCH] fix: fixed jenkinsfile

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 8d775ad..2afdc68 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -12,7 +12,7 @@ pipeline {
         }
         stage('Deploy') {
             steps {
-                sh '''#!/bin/bash
+                sh '''#!/bin/sh
 /usr/bin/rsync ./public /var/www/public/html/drums
 '''
             }