diff options
| -rwxr-xr-x | build-aux/lint-src | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/build-aux/lint-src b/build-aux/lint-src index 4207bad..033340d 100755 --- a/build-aux/lint-src +++ b/build-aux/lint-src @@ -61,6 +61,9 @@ get-dscname() { '#!/usr/bin/env python3') : ;; *) err "$filename" 'has an unrecognized shebang' ;; esac + if [[ -n $shebang && $shebang != */"$filetype" && $shebang != *' '"$filetype" ]]; then + err "$filename" "wrong shebang for $filetype" + fi if ! grep -E -q 'Copyright \(C\) 202[4-9]((-|, )202[5-9])* Luke T. Shumaker' "$filename"; then err "$filename" 'is missing a copyright statement' |