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 | 8758fbf4391d6bba02a7c71bffb6e25a9f139db2 (patch) | |
tree | 77a646b5a2b172cd1b8ff741a1b37cffe9d78ba5 /bin/check-syntax | |
parent | f6bfb0e7b74059abf88eeb01415de3f96d5b59c6 (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() |