Add support for -n option to specify the filename to report.v1.6
commitcfe1ca7db956d953cf76799244e559c78ce5d94a
authorobry <obry@6da1d2a3-5d75-4554-8f80-693a20d36e50>
Sun, 21 Oct 2007 18:06:26 +0000 (21 18:06 +0000)
committerobry <obry@6da1d2a3-5d75-4554-8f80-693a20d36e50>
Sun, 21 Oct 2007 18:06:26 +0000 (21 18:06 +0000)
treeb159a7846a5ced24bbca868d14e8bd2a7bb3e125
parenteb77a4be912e5c67d00197998f2783bc91ab4f5e
Add support for -n option to specify the filename to report.
This is important for check done on file that have been moved
from the original location. This is for example the case
when inside the Git pre-commit hook.
Set to version 1.6.
src/style_checker.adb