diff options
Diffstat (limited to 'apps')
| -rwxr-xr-x | apps/ci/ci-error-check.sh | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/apps/ci/ci-error-check.sh b/apps/ci/ci-error-check.sh index d446e904be..1862fa7122 100755 --- a/apps/ci/ci-error-check.sh +++ b/apps/ci/ci-error-check.sh @@ -1,17 +1,18 @@ #!/usr/bin/env bash -DB_ERRORS_FILE="./env/dist/bin/DBErrors.log"; +ERRORS_FILE="./env/dist/bin/Errors.log"; -if [[ ! -f ${DB_ERRORS_FILE} ]]; then - echo "File ${DB_ERRORS_FILE} not found!"; - exit 1 -fi +echo "Checking Startup Errors" +echo -if [[ -s ${DB_ERRORS_FILE} ]]; then - printf "The DBErrors.log file contains startup errors:\n\n"; - cat ${DB_ERRORS_FILE}; +if [[ -s ${ERRORS_FILE} ]]; then + printf "The Errors.log file contains startup errors:\n\n"; + cat ${ERRORS_FILE}; printf "\nPlease solve the startup errors listed above!\n"; exit 1; else - echo "No startup errors found in DBErrors.log, good job!"; + echo "> No startup errors found in Errors.log"; fi + +echo +echo "Done" |