diff options
Diffstat (limited to 'build-aux/lint-unknown')
-rwxr-xr-x | build-aux/lint-unknown | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/build-aux/lint-unknown b/build-aux/lint-unknown deleted file mode 100755 index bc23a81..0000000 --- a/build-aux/lint-unknown +++ /dev/null @@ -1,19 +0,0 @@ -#!/bin/sh -# build-aux/lint-unknown - Lint checks for unknown files -# -# Copyright (C) 2024-2025 Luke T. Shumaker <lukeshu@lukeshu.com> -# SPDX-License-Identifier: AGPL-3.0-or-later - -RED=$(tput setaf 1) -RESET=$(tput sgr0) - -err() { - printf "${RED}%s${RESET}: %s\n" "$1" "$2" >&2 - r=1 -} - -r=0 -for filename in "$@"; do - err "$filename" 'cannot lint unknown file type' -done -exit $r |