diff options
author | Baptiste Daroussin <bapt@FreeBSD.org> | 2022-08-23 14:48:35 +0200 |
---|---|---|
committer | Baptiste Daroussin <bapt@FreeBSD.org> | 2022-08-23 14:55:06 +0200 |
commit | abe88637f5c96074b395a7a982ae399fa0a8ec38 (patch) | |
tree | 55228773dc218381bbb48962e13847a1647a1d3b /Tools | |
parent | MOVEDlint: accept -v blame=1 from command line (diff) |
MOVEDlint: exit 1 in case of error
Diffstat (limited to 'Tools')
-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) } |