From 67b825199a6d3510168b49d90e16265cdaead00d Mon Sep 17 00:00:00 2001
From: Ludovic Rousseau <ludovic.rousseau@free.fr>
Date: Tue, 8 Nov 2022 18:13:48 +0100
Subject: [PATCH] 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.
---
 bootstrap | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bootstrap b/bootstrap
index 7facf22b..b0b90d1e 100755
--- a/bootstrap
+++ b/bootstrap
@@ -1,4 +1,4 @@
-#! /bin/bash
+#! /bin/sh
 
 set -x