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 | |
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>
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -164,7 +164,7 @@ coverage-html: coverage.info $(Q)genhtml -o $@ $< $(Q)touch $@ -check: all alltools checkheaders examples testprogs fate +check: all alltools examples testprogs fate include $(SRC_PATH)/doc/Makefile include $(SRC_PATH)/tests/Makefile |