From 3dbfb62fc6bae5d4d76bd7734134de5e8a120f0a Mon Sep 17 00:00:00 2001 From: Mathew Gordon Date: Sun, 19 Nov 2023 05:15:49 -0700 Subject: [PATCH] Bash shebang For the time being, make bash shebang due to script not working with dash --- make_runtime.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/make_runtime.sh b/make_runtime.sh index 30fca47..cd3f927 100755 --- 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