Bash shebang

For the time being, make bash shebang due to script not working with dash
mgord9518 · Nov 19, 2023 · 3dbfb62 · 3dbfb62
1 parent f800d55
commit 3dbfb62
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/make_runtime.sh b/make_runtime.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env bash
 
 # VERY hacked together script just to assemble the runtime, probably will
 # eventually make it cleaner, but it works for the time being