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 | b95b70eabb98e3e8690d7ffc56b68aaa3a852df9 (patch) | |
| tree | 37cae4d62bc3a3a4dd14f795910c6746bab928bf /bin/check-syntax | |
| parent | f9362fecbe8020bd724b231206de17195c1a653c (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() |