Make bootstrap use /bin/sh.

2024-05-11 05:55:05 +00:00 · 2019-12-15 18:50:23 +01:00
parent 008b3570b8
commit 97cfe5adbc
1 changed files with 1 additions and 2 deletions
--- a/3
+++ b/3
@@ -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