Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update exit codes #15

Merged
merged 2 commits into from
Aug 24, 2023
Merged

Update exit codes #15

merged 2 commits into from
Aug 24, 2023

Conversation

ericcornelissen
Copy link
Owner

Summary

Update the main function to track whether or not problems were found for any of the targets and exit with a (new) non-zero exit code if that is the case.

Also, make it so that an error for any target results in a non-zero exit code. Before this change a non-zero exit code would only be used if the last target resulted in an error.

Update the `main` function to track whether or not problems were found
for any of the targets and exit with a (new) non-zero exit code if that
is the case.

Also, make it so that an error for any target results in a non-zero exit
code. Before this change a non-zero exit code would only be used if the
last target resulted in an error.

Signed-off-by: Eric Cornelissen <ericornelissen@gmail.com>
@ericcornelissen ericcornelissen added bug Something isn't working enhancement New feature or request labels Aug 24, 2023
Signed-off-by: Eric Cornelissen <ericornelissen@gmail.com>
@ericcornelissen ericcornelissen merged commit 31d97af into main Aug 24, 2023
9 checks passed
@ericcornelissen ericcornelissen deleted the problems-exit-code branch August 24, 2023 19:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant