From 302cb3f92e2c4e4dc580e24ad15f5d003f16f285 Mon Sep 17 00:00:00 2001 From: Chocobozzz Date: Wed, 19 Feb 2020 08:57:32 +0100 Subject: [PATCH] Use bash to run build scripts too --- scripts/build/embed.sh | 2 +- scripts/build/index.sh | 2 +- scripts/build/server.sh | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/scripts/build/embed.sh b/scripts/build/embed.sh index 47e195d96..4be2afc25 100755 --- 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 d7d04fd08..bf6ad48eb 100755 --- 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 d66a52475..2ec83a3e1 100755 --- a/scripts/build/server.sh +++ b/scripts/build/server.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash set -eu