Do not check special script headers starting with #!.
commita7ad9fb30fd4ac0c1d2940d39b518719b5343ce3
authorPascal Obry <pascal@obry.net>
Thu, 17 Jan 2008 14:22:48 +0000 (17 15:22 +0100)
committerPascal Obry <pascal@obry.net>
Thu, 17 Jan 2008 14:22:48 +0000 (17 15:22 +0100)
tree45a8ba5e5289df82504037ea0b4135ba06c8d35f
parent5e590a4081f35aab164b60c014af6b8c1a7b75d4
Do not check special script headers starting with #!.
regtests/makefile
regtests/out14.out [new file with mode: 0644]
regtests/script.sh [new file with mode: 0644]
src/style_checker.adb