diff options
author | Luke T. Shumaker <lukeshu@lukeshu.com> | 2025-01-27 23:07:51 -0700 |
---|---|---|
committer | Luke T. Shumaker <lukeshu@lukeshu.com> | 2025-01-27 23:07:51 -0700 |
commit | 1e2b67047da4ad0f567ef5956f813b2d33b3cfa6 (patch) | |
tree | 5f186c02fd3649894f2a5c28c2db6efa3abf9df6 /build-aux/lint-unknown | |
parent | f7b7c04e2ebb24ccae89b77ce76f0b405eb213d1 (diff) | |
parent | 3199e6a45fd5e8bd9ec44616d5dcfb856ba6a888 (diff) |
Merge branch 'lukeshu/lint'
Diffstat (limited to 'build-aux/lint-unknown')
-rwxr-xr-x | build-aux/lint-unknown | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/build-aux/lint-unknown b/build-aux/lint-unknown new file mode 100755 index 0000000..3c2e91b --- /dev/null +++ b/build-aux/lint-unknown @@ -0,0 +1,10 @@ +#!/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) + +printf "${RED}%s${RESET}: cannot lint unknown file type\n" "$@" >&2 |