diff options
| author | Luke T. Shumaker <lukeshu@lukeshu.com> | 2025-05-17 02:53:43 -0600 |
|---|---|---|
| committer | Luke T. Shumaker <lukeshu@lukeshu.com> | 2025-05-17 02:53:43 -0600 |
| commit | d505a998aafe5af8b02a2b2c2acf7e708812c3fc (patch) | |
| tree | 7025924d9e4d508d6ce6a046d9ad37d8d500961f /build-aux/lint-generic | |
| parent | 18ddce6270391e5c1924394f8b5d8079ad73289e (diff) | |
lint: Exclude symlinks and submodules from sources.mk
Diffstat (limited to 'build-aux/lint-generic')
| -rwxr-xr-x | build-aux/lint-generic | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/build-aux/lint-generic b/build-aux/lint-generic index 70e814a..d982527 100755 --- a/build-aux/lint-generic +++ b/build-aux/lint-generic @@ -14,11 +14,6 @@ err() { r=0 for filename in "$@"; do - if ! { [ -f "$filename" ] && ! [ -h "$filename" ]; }; then - # Ignore non-files - continue - fi - # File header ########################################################## shebang="$(sed -n '1{/^#!/{/^#!\/hint\//q; p;};}' "$filename")" |