bootstrap: use /bin/sh instead of bash

Some systems (like FreeBSD) do not provide bash in /bin/bash but in /usr/local/bin/bash We use /bin/sh instead.
LudovicRousseau · Nov 8, 2022 · 67b8251 · 67b8251
1 parent 7baef9d
commit 67b8251
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bootstrap b/bootstrap
@@ -1,4 +1,4 @@
-#! /bin/bash
+#! /bin/sh
 
 set -x