diff options
| author | Luke T. Shumaker <lukeshu@lukeshu.com> | 2025-03-22 03:08:05 -0600 |
|---|---|---|
| committer | Luke T. Shumaker <lukeshu@lukeshu.com> | 2025-03-22 16:22:29 -0600 |
| commit | 999a5a51a0c00bac636adab86fc0033d0bbd98e0 (patch) | |
| tree | 503051a51dad1a3059ecf002794177ea2f0cb017 /build-aux/lint-unknown | |
| parent | 8d3991d6cca1a57ef5c48460313a07f709c89248 (diff) | |
make lint/unknown: Have unknown files be errors
Diffstat (limited to 'build-aux/lint-unknown')
| -rwxr-xr-x | build-aux/lint-unknown | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/build-aux/lint-unknown b/build-aux/lint-unknown index 3c2e91b..dda9541 100755 --- a/build-aux/lint-unknown +++ b/build-aux/lint-unknown @@ -7,4 +7,18 @@ RED=$(tput setaf 1) RESET=$(tput sgr0) -printf "${RED}%s${RESET}: cannot lint unknown file type\n" "$@" >&2 +err() { + printf "${RED}%s${RESET}: %s\n" "$1" "$2" >&2 + r=1 +} + +r=0 +for filename in "$@"; do + if ! { [ -f "$filename" ] && ! [ -h "$filename" ]; }; then + # Ignore non-files + continue + fi + + err "$filename" 'cannot lint unknown file type' +done +exit $r |