Use bash to run build scripts too

2020-02-19 08:57:32 +01:00 · 2020-02-19 08:57:32 +01:00 · 302cb3f92e
parent 0e4338fd1d
commit 302cb3f92e
3 changed files with 3 additions and 3 deletions
--- a/scripts/build/embed.sh
+++ b/scripts/build/embed.sh
@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash

 set -eu

--- a/scripts/build/index.sh
+++ b/scripts/build/index.sh
@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash

 set -eu

--- a/scripts/build/server.sh
+++ b/scripts/build/server.sh
@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash

 set -eu