lint/gawk

This commit is contained in:
Marc Beninca 2025-08-02 23:30:12 +02:00
parent bd4191513b
commit 6660fd3543
Signed by: marc.beninca
GPG key ID: 9C7613450C80C24F
2 changed files with 15 additions and 0 deletions

View file

@ -334,6 +334,9 @@ if (action == "doc") {
unique[extract($0, target)] = ""
}
# lint
} else if (action == "lint") {
# unknown
} else {
print "unknown action: " action

12
sh/lint/gawk.sh Normal file
View file

@ -0,0 +1,12 @@
# gawk
#| gawk
rwx_gawk_lint() {
local file="${1}"
echo |
gawk \
--posix \
--lint="fatal" \
--file "${file}" \
--assign action="lint"
}