diff options
| author | Michael Niedermayer <michaelni@gmx.at> | 2012-06-29 00:05:40 +0200 |
|---|---|---|
| committer | Michael Niedermayer <michaelni@gmx.at> | 2012-06-29 00:05:40 +0200 |
| commit | 7c8b5d1d80ff040cdb71ed5ff3a9d670d330952b (patch) | |
| tree | 9628f506d9c067e60e133b04e3ee1be164af6573 /.gitignore | |
| parent | d007f963c236bd114172fe6d39eca71b60fcdf20 (diff) | |
| download | ffmpeg-7c8b5d1d80ff040cdb71ed5ff3a9d670d330952b.tar.gz | |
Makefile: remove checkheaders from the main check target
checkheaders doesnt pass and noone has even noticed since a very
long time.
checkheaders is also unmaintained (please add yourself to MAINTAINERS
if you want to maintain it)
Signed-off-by: Michael Niedermayer <michaelni@gmx.at>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions