diff options
| author | Denis Vlasenko <vda.linux@googlemail.com> | 2008-04-10 19:59:20 +0000 |
|---|---|---|
| committer | Denis Vlasenko <vda.linux@googlemail.com> | 2008-04-10 19:59:20 +0000 |
| commit | b75a1c3c2a338d1b2401a3c1eb61d4895085520f (patch) | |
| tree | 10889a66e27a3433d7ebd21c74845a762dbfe469 /Makefile | |
| parent | fcc6347976ded376c9effe3b9fb216b00b2140cb (diff) | |
fix "make check"
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -361,7 +361,8 @@ endif # of make so .config is not included in this case either (for *config). no-dot-config-targets := clean mrproper distclean \ - cscope TAGS tags help %docs check% + cscope TAGS tags help %docs +#bbox# check% is removed from above config-targets := 0 mixed-targets := 0 |