diff options
Diffstat (limited to 'script/dev-configure.sh')
| -rwxr-xr-x | script/dev-configure.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script/dev-configure.sh b/script/dev-configure.sh index f4bb338f..f0a7843d 100755 --- a/script/dev-configure.sh +++ b/script/dev-configure.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -ex |