diff options
-rwxr-xr-x | scripts/build/embed.sh | 2 | ||||
-rwxr-xr-x | scripts/build/index.sh | 2 | ||||
-rwxr-xr-x | 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 @@ | |||
1 | #!/bin/sh | 1 | #!/bin/bash |
2 | 2 | ||
3 | set -eu | 3 | set -eu |
4 | 4 | ||
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 @@ | |||
1 | #!/bin/sh | 1 | #!/bin/bash |
2 | 2 | ||
3 | set -eu | 3 | set -eu |
4 | 4 | ||
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 @@ | |||
1 | #!/bin/sh | 1 | #!/bin/bash |
2 | 2 | ||
3 | set -eu | 3 | set -eu |
4 | 4 | ||