diff options
author | John Firebaugh <john.firebaugh@gmail.com> | 2018-06-25 12:17:48 -0700 |
---|---|---|
committer | John Firebaugh <john.firebaugh@gmail.com> | 2018-06-26 15:02:47 -0700 |
commit | 3a1c7f3b9967cd6adf2ed6990b424d729e402d2c (patch) | |
tree | c7bd328c243821057d2930387f2766e04fae632b /scripts | |
parent | 58a3a32ec2f315b5362ba9a0e6f31e5c7ca37714 (diff) | |
download | qtlocation-mapboxgl-3a1c7f3b9967cd6adf2ed6990b424d729e402d2c.tar.gz |
[build] Exit with nonzero status if file does not exist
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/log_binary_size.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/log_binary_size.sh b/scripts/log_binary_size.sh index 3c55be15f1..1147a8c479 100755 --- a/scripts/log_binary_size.sh +++ b/scripts/log_binary_size.sh @@ -39,4 +39,5 @@ if [ -f "${FILE}" ]; then fi else echo "* File '${FILE}' does not exist" + exit 1 fi |