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 /Makefile | |
| parent | d007f963c236bd114172fe6d39eca71b60fcdf20 (diff) | |
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 'Makefile')
| -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 |