From 97cfe5adbc68a34d59a73259a11cae8e785e7b1a Mon Sep 17 00:00:00 2001
From: Roelf Wichertjes <contact@roelf.org>
Date: Sun, 15 Dec 2019 18:50:23 +0100
Subject: [PATCH] Make bootstrap use /bin/sh.

---
 bootstrap | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/bootstrap b/bootstrap
index 0c04be3..b9c4f0e 100755
--- a/bootstrap
+++ b/bootstrap
@@ -1,7 +1,6 @@
-#!/bin/bash
+#!/bin/sh
 #
 # Script to help bootstrap the build system when checked out from git
 #
-set -auxo pipefail
 
 autoreconf -i