diff options
| author | Luke T. Shumaker <lukeshu@lukeshu.com> | 2025-05-31 05:57:24 -0600 |
|---|---|---|
| committer | Luke T. Shumaker <lukeshu@lukeshu.com> | 2025-05-31 11:48:23 -0600 |
| commit | 74e15568de208c0d734e816e30eed8d95c3d08e0 (patch) | |
| tree | 65e3933e368db94c5b96a8803cb99c8269a9cb05 /build-aux/lint-unknown | |
| parent | 6a6e3083d2d60cbd5bd581f432a0c56eff2bf29e (diff) | |
make lint: Consolidate the lint scripts
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 |