diff options
| -rwxr-xr-x | scripts/env | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/env b/scripts/env index c81fbf8ddc..726a354b57 100755 --- a/scripts/env +++ b/scripts/env @@ -22,7 +22,7 @@ Commands: Options: EOF - exit ${1:-1} + exit "${1:-1}" } error() { |