diff options
| author | Luke T. Shumaker <lukeshu@lukeshu.com> | 2025-05-17 13:33:51 -0600 |
|---|---|---|
| committer | Luke T. Shumaker <lukeshu@lukeshu.com> | 2025-05-17 13:33:51 -0600 |
| commit | 42fb27570262b52e2ca889030c621b5f4af76fe1 (patch) | |
| tree | 1d70f96baa5089f8878a9c121ff0770846ad4090 /build-aux/lint-unknown | |
| parent | 18ddce6270391e5c1924394f8b5d8079ad73289e (diff) | |
| parent | 556f3ff6ccb9fa4b193d91216f85e8ade33b4383 (diff) | |
Diffstat (limited to 'build-aux/lint-unknown')
| -rwxr-xr-x | build-aux/lint-unknown | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/build-aux/lint-unknown b/build-aux/lint-unknown index dda9541..bc23a81 100755 --- a/build-aux/lint-unknown +++ b/build-aux/lint-unknown @@ -14,11 +14,6 @@ err() { 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 |