1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/dev/embed.sh b/scripts/dev/embed.sh
index 9b0ef27cf..b4835604e 100755
--- a/scripts/dev/embed.sh
+++ b/scripts/dev/embed.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 set -eu

diff --git a/scripts/dev/embed.sh b/scripts/dev/embed.sh index 9b0ef27cf..b4835604e 100755 --- a/scripts/dev/embed.sh +++ b/scripts/dev/embed.sh
@@ -1,4 +1,4 @@
1	#!/bin/sh	1	#!/bin/bash
2		2
3	set -eu	3	set -eu
4		4