From 2f080802fbab89b1c5242a0acf6a7ed0257272ce Mon Sep 17 00:00:00 2001
From: Philippe Zwietering <philippe.zwietering@gmail.com>
Date: Sat, 15 Nov 2025 14:02:35 +0100
Subject: [PATCH] File expliciet uitvoeren met bash?

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 07c667c..201676c 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -12,7 +12,7 @@ pipeline {
                 echo 'Starting build step...'
                 sh 'ls scripts'
                 sh 'cat scripts/build.sh'
-                sh './scripts/build.sh'
+                sh 'bash ./scripts/build.sh'
             }
         }