git: abe88637f5c9 - main - MOVEDlint: exit 1 in case of error
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Tue, 23 Aug 2022 12:56:04 UTC
The branch main has been updated by bapt: URL: https://cgit.FreeBSD.org/ports/commit/?id=abe88637f5c96074b395a7a982ae399fa0a8ec38 commit abe88637f5c96074b395a7a982ae399fa0a8ec38 Author: Baptiste Daroussin <bapt@FreeBSD.org> AuthorDate: 2022-08-23 12:48:35 +0000 Commit: Baptiste Daroussin <bapt@FreeBSD.org> CommitDate: 2022-08-23 12:55:06 +0000 MOVEDlint: exit 1 in case of error --- Tools/scripts/MOVEDlint.awk | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Tools/scripts/MOVEDlint.awk b/Tools/scripts/MOVEDlint.awk index b06a475b00c6..7d6f3dc193d6 100755 --- a/Tools/scripts/MOVEDlint.awk +++ b/Tools/scripts/MOVEDlint.awk @@ -173,4 +173,6 @@ END { } close(sort) + if (length(error) > 0) + exit(1) }