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)
}