Use bash to run build scripts too

diff --git a/scripts/build/embed.sh b/scripts/build/embed.sh
index 47e195d962f7440d2097524df9772e7e12c81a53..4be2afc25d68364ca6d6fc26a419a8276fa0a6f1 100755 (executable)
--- a/scripts/build/embed.sh
+++ b/scripts/build/embed.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 set -eu
 

diff --git a/scripts/build/index.sh b/scripts/build/index.sh
index d7d04fd083ed83c083f33d0417115555a0d7440b..bf6ad48ebe3fb753986ee436ef64c94d7a8a7ae2 100755 (executable)
--- a/scripts/build/index.sh
+++ b/scripts/build/index.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 set -eu
 

diff --git a/scripts/build/server.sh b/scripts/build/server.sh
index d66a524757399146e621d63db64699a07001f219..2ec83a3e1ade0d224febf287e09e4236caf1a8ad 100755 (executable)
--- a/scripts/build/server.sh
+++ b/scripts/build/server.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 set -eu