Update install.sh

pull/757/head
Joakim Roubert 2019-08-24 08:11:08 +02:00 committed by GitHub
parent 7a96fbb3f8
commit 76342565a2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -75,7 +75,7 @@ info()
} }
fatal() fatal()
{ {
echo '[ERROR] ' "$@" 2>&1 echo '[ERROR] ' "$@" >&2
exit 1 exit 1
} }