Merge branch 'pull15' into trunk

Using '#!/usr/bin/env foo' is a good idea in general,
and it might fix builds on MacOS and other non-debian platforms.

* pull15:
  Changed bash and sh shebangs to /usr/bin/env
  Update make shebang for portability

1 files changed, 1 insertions, 1 deletions

diff --git a/make b/make
index 89e196d..a59d1a8 100755
--- a/make
+++ b/make
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 # Anduril / FSM "make" script
 # Copyright (C) 2023 Selene ToyKeeper
 # SPDX-License-Identifier: GPL-3.0-or-later