diff options
author | Baptiste Daroussin <bapt@FreeBSD.org> | 2022-08-23 12:48:35 +0000 |
---|---|---|
committer | Baptiste Daroussin <bapt@FreeBSD.org> | 2022-08-23 12:55:06 +0000 |
commit | abe88637f5c96074b395a7a982ae399fa0a8ec38 (patch) | |
tree | 55228773dc218381bbb48962e13847a1647a1d3b | |
parent | 85397ca391b1d81e9b90e100209c243be99789a0 (diff) | |
download | ports-abe88637f5c96074b395a7a982ae399fa0a8ec38.tar.gz ports-abe88637f5c96074b395a7a982ae399fa0a8ec38.zip |
MOVEDlint: exit 1 in case of error
-rwxr-xr-x | Tools/scripts/MOVEDlint.awk | 2 |
1 files changed, 2 insertions, 0 deletions
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) } |