From 6a2fcd26e2d20ba0f341571cdadeff4032a96f3a Mon Sep 17 00:00:00 2001
From: Pierre Turin <pierre.turin@mongodb.com>
Date: Fri, 12 Sep 2025 01:06:15 -0700
Subject: [PATCH] SERVER-110775 Add shebang to workstation setup scripts
 (#41128)

GitOrigin-RevId: 0b7f1f7f6227bf8b5a8f015ef263bf32e4de7b60
---
 etc/set_up_workstation.sh            | 2 ++
 evergreen/check_workstation_setup.sh | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/etc/set_up_workstation.sh b/etc/set_up_workstation.sh
index 5f34dca2977..9f9e7a1c800 100755
--- a/etc/set_up_workstation.sh
+++ b/etc/set_up_workstation.sh
@@ -1,3 +1,5 @@
+#! /bin/bash
+
 silent_grep() {
     command grep -q "$@" >/dev/null 2>&1
 }
diff --git a/evergreen/check_workstation_setup.sh b/evergreen/check_workstation_setup.sh
index 5ed2a5c124b..eb3a7f98b6d 100755
--- a/evergreen/check_workstation_setup.sh
+++ b/evergreen/check_workstation_setup.sh
@@ -1,3 +1,5 @@
+#! /bin/bash
+
 failed_setup=false
 
 source ~/.bashrc