diff options
Diffstat (limited to 'scripts/dev/cli.sh')
-rwxr-xr-x | scripts/dev/cli.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/dev/cli.sh b/scripts/dev/cli.sh index 4b6fe5508..dc6f0af0d 100755 --- a/scripts/dev/cli.sh +++ b/scripts/dev/cli.sh | |||
@@ -1,4 +1,4 @@ | |||
1 | #!/bin/sh | 1 | #!/bin/bash |
2 | 2 | ||
3 | set -eu | 3 | set -eu |
4 | 4 | ||