scripts: prefer shell over bash

nektro · Jul 26, 2022 · d77bd14 · d77bd14
1 parent 9e2a01b
commit d77bd14
Show file tree

Hide file tree

Showing 8 changed files with 8 additions and 8 deletions.
diff --git 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
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/bin/sh
 
 set -eu
 

diff --git 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
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/bin/sh
 
 set -eu
 

diff --git 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
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/bin/sh
 
 set -eu
 

diff --git 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
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/bin/sh
 
 set -eu