diff options
author | Patrick Georgi <pgeorgi@google.com> | 2020-01-29 12:40:56 +0100 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2020-01-30 12:59:19 +0000 |
commit | 805b29183086008b3934d9210de753a2ffe3d231 (patch) | |
tree | 31104717fa91e67d508978fb348f9a5fe5cae352 /util/lint/lint-stable-006-board-name | |
parent | 3f3eca9b32f7472469b6d4ce1ac155d9ce425749 (diff) |
util/lint: Update spelling.txt from lintian data set
commit 1191c09201b43aab55333a70d056d0c355abe329 at
https://salsa.debian.org/agx/lintian/tree/master/data/spelling provides
a much more comprehensive collection of misspellings, so merge it in.
While at it, also sort the file for future easier merging which is the
main reason that some lines appear to be removed: they're merely moved.
For sorting, I adapted their make rule:
make -f - sort-spelling.txt <<'EOF'
.RECIPEPREFIX=%
sort-%: %
%csplit --prefix $<- $< '/^$$/'
%LC_ALL=en_US sort -u $<-01 | cat $<-00 - > $<
%rm -f $<-0[01]
EOF
Change-Id: I939e3a8820c88d0e639bd29b46a86b72bce1a098
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/38632
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: HAOUAS Elyes <ehaouas@noos.fr>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Diffstat (limited to 'util/lint/lint-stable-006-board-name')
0 files changed, 0 insertions, 0 deletions