diff options
author | Baptiste Daroussin <bapt@FreeBSD.org> | 2022-08-23 15:14:08 +0200 |
---|---|---|
committer | Baptiste Daroussin <bapt@FreeBSD.org> | 2022-08-23 15:16:19 +0200 |
commit | fb4e70bad0bf832a2bb41986f6ec37d3f03d06db (patch) | |
tree | d75394ea9b6094afa3d25e612d58b704aff3c1d0 /Tools | |
parent | MOVED: cleanup redirection to dead php flavors (diff) |
MOVEDlint: Test the first and second field for spaces
both fields should not have spaces in their field, let's make
MOVEDlint check for it
Diffstat (limited to 'Tools')
-rwxr-xr-x | Tools/scripts/MOVEDlint.awk | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/Tools/scripts/MOVEDlint.awk b/Tools/scripts/MOVEDlint.awk index 7d6f3dc193d6..af1de6b42ca2 100755 --- a/Tools/scripts/MOVEDlint.awk +++ b/Tools/scripts/MOVEDlint.awk @@ -84,6 +84,18 @@ $3 !~ /^20[0-3][0-9]-[01][0-9]-[0-3][0-9]$/ { next } +$1 ~ /[ \t]/ { + printf "%5d: '%s' contains spaces\n", NR, $1 | sort + error[NR] = 1 + next +} + +$2 ~ /[ \t]/ { + printf "%5d: '%s' contains spaces\n", NR, $2 | sort + error[NR] = 1 + next +} + { if ($1 in srcs) { printf "%5d: %s has duplicate entries\n", NR, $1 | sort |