exit early if errors are disabled

This commit is contained in:
Sean Killeen 2020-06-18 15:24:47 -04:00 committed by GitHub
parent 2338c2c98e
commit ff19ebe77d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1895,6 +1895,14 @@ Footer()
fi fi
done done
##################################
# Exit with 0 if errors disabled #
##################################
if ${ERRORS_DISABLED} then
exit 0
fi
############################### ###############################
# Exit with 1 if errors found # # Exit with 1 if errors found #
############################### ###############################