1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/ci.sh b/scripts/ci.sh
index bf34cd337..df9d6d2b2 100755
--- a/scripts/ci.sh
+++ b/scripts/ci.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 set -eu

diff --git a/scripts/ci.sh b/scripts/ci.sh index bf34cd337..df9d6d2b2 100755 --- a/scripts/ci.sh +++ b/scripts/ci.sh
@@ -1,4 +1,4 @@
1	#!/bin/sh	1	#!/bin/bash
2		2
3	set -eu	3	set -eu
4		4