diff options
| author | Luke T. Shumaker <lukeshu@lukeshu.com> | 2025-01-27 22:32:10 -0700 |
|---|---|---|
| committer | Luke T. Shumaker <lukeshu@lukeshu.com> | 2025-01-27 23:05:00 -0700 |
| commit | 1c0769fdc316a5e2982d8909e713050af223c928 (patch) | |
| tree | dc4291c162b2299ac9082dc325342b94cad5c75e /build-aux/lint-unknown | |
| parent | 536877a84b6ba93c6c228bee27b2c82691c3d733 (diff) | |
GNUmakefile: Pull lint/c, lint/all, and lint/unknown out into separate shell scripts
Diffstat (limited to 'build-aux/lint-unknown')
| -rwxr-xr-x | build-aux/lint-unknown | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/build-aux/lint-unknown b/build-aux/lint-unknown new file mode 100755 index 0000000..59e83c2 --- /dev/null +++ b/build-aux/lint-unknown @@ -0,0 +1,7 @@ +#!/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 + +printf "%s: cannot lint unknown file type\n" "$@" >&2 |