diff options
author | Emilio Pozuelo Monfort <pochu@debian.org> | 2018-06-15 11:09:09 +0200 |
---|---|---|
committer | Emilio Pozuelo Monfort <pochu@debian.org> | 2018-06-15 11:13:24 +0200 |
commit | c2290a102ac2df69fa9d01b1b6d53654263f29eb (patch) | |
tree | 8b0e9cef88d380dd17bf1fca47f79f7d30e23e89 /bin/check-syntax | |
parent | b472973db483a84e634b2d706ee27de58ad5050b (diff) |
Makefile: don't hardcode the syntax stamps
Diffstat (limited to 'bin/check-syntax')
-rwxr-xr-x | bin/check-syntax | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/bin/check-syntax b/bin/check-syntax index 475cf87d38..a4d3f2ec01 100755 --- a/bin/check-syntax +++ b/bin/check-syntax @@ -70,6 +70,12 @@ file_types = {'CVE' : parse_CVE, 'DTSA' : parse_DTSA, 'DLA' : parse_DSA} +if len(sys.argv) == 2 and sys.argv[1] == "--get": + l = file_types.keys() + l.sort() + print ' '.join(l) + sys.exit(0) + if len(sys.argv) <> 3 or not file_types.has_key(sys.argv[1]): l = file_types.keys() l.sort() |