From 999a5a51a0c00bac636adab86fc0033d0bbd98e0 Mon Sep 17 00:00:00 2001
From: "Luke T. Shumaker" <lukeshu@lukeshu.com>
Date: Sat, 22 Mar 2025 03:08:05 -0600
Subject: make lint/unknown: Have unknown files be errors

---
 build-aux/lint-unknown | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

(limited to 'build-aux/lint-unknown')

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
-- 
cgit v1.2.3-2-g168b