From 17137f407efd5d4fc564ebb0e40bb1f1a4eb3656 Mon Sep 17 00:00:00 2001
From: DanyLE <xsang.le@gmail.com>
Date: Thu, 26 Jan 2023 21:21:47 +0100
Subject: [PATCH] change shell to bash

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 9d80e28..cc2f6aa 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,5 +1,5 @@
 def build_luad() {
-    sh '''
+    sh '''#!/bin/bash
     set -e
     export RUSTUP_HOME=/root/.rustup/
     export CARGO_HOME=/root/.cargo/