From d77bd14fc0b3901f1f14c8640950656204a8e66a Mon Sep 17 00:00:00 2001 From: Meghan Denny Date: Tue, 26 Jul 2022 13:45:28 -0700 Subject: [PATCH] scripts: prefer shell over bash --- build_all_zig.sh | 2 +- build_release.sh | 2 +- changelog.sh | 2 +- make_release.sh | 2 +- release_num.sh | 2 +- tools/gen_stage2.sh | 2 +- tools/gen_stage3.sh | 2 +- tools/gen_stage4.sh | 2 +- 8 files changed, 8 insertions(+), 8 deletions(-) diff --git a/build_all_zig.sh b/build_all_zig.sh index af36595..7ac02b2 100755 --- a/build_all_zig.sh +++ b/build_all_zig.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/bin/sh set -eu diff --git a/build_release.sh b/build_release.sh index 19ea3c0..eab8a4a 100755 --- a/build_release.sh +++ b/build_release.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/bin/sh set -eu diff --git a/changelog.sh b/changelog.sh index 2dc6048..c456d56 100755 --- a/changelog.sh +++ b/changelog.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/bin/sh set -eu diff --git a/make_release.sh b/make_release.sh index 41f4246..e9e979b 100755 --- a/make_release.sh +++ b/make_release.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/bin/sh set -eu diff --git a/release_num.sh b/release_num.sh index 6721ceb..c40f80f 100755 --- a/release_num.sh +++ b/release_num.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/bin/sh set -eu diff --git a/tools/gen_stage2.sh b/tools/gen_stage2.sh index ad7e11d..779c1f6 100755 --- a/tools/gen_stage2.sh +++ b/tools/gen_stage2.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/bin/sh set -eu diff --git a/tools/gen_stage3.sh b/tools/gen_stage3.sh index 597df11..fdb88a8 100755 --- a/tools/gen_stage3.sh +++ b/tools/gen_stage3.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/bin/sh set -eu diff --git a/tools/gen_stage4.sh b/tools/gen_stage4.sh index 6200166..aebc795 100755 --- a/tools/gen_stage4.sh +++ b/tools/gen_stage4.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/bin/sh set -eu