tree 50d040e2135200cb2435aa8587d0e84390a497fa
parent 15898eec23485eb53141c49800eb864a37ee7154
author Gilles Peskine <Gilles.Peskine@arm.com> 1596921318 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1607632195 +0100

Test shebang lines

Executable scripts must have shebang (#!) line to be effectively
executable on most Unix-like systems. Enforce this, and conversely
enforce that files with a shebang line are executable.

Check that the specified interperter is consistent with the file
extension.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>