1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/dev/server.sh b/scripts/dev/server.sh
index b09a966dd..187a1843e 100755
--- a/scripts/dev/server.sh
+++ b/scripts/dev/server.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 set -eu

diff --git a/scripts/dev/server.sh b/scripts/dev/server.sh index b09a966dd..187a1843e 100755 --- a/scripts/dev/server.sh +++ b/scripts/dev/server.sh
@@ -1,4 +1,4 @@
1	#!/bin/sh	1	#!/bin/bash
2		2
3	set -eu	3	set -eu
4		4