diff options
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -407,7 +407,7 @@ outputmakefile: | |||
407 | # of make so .config is not included in this case either (for *config). | 407 | # of make so .config is not included in this case either (for *config). |
408 | 408 | ||
409 | no-dot-config-targets := clean mrproper distclean \ | 409 | no-dot-config-targets := clean mrproper distclean \ |
410 | cscope TAGS tags help %docs check% | 410 | cscope TAGS tags help %docs check% kernelrelease |
411 | 411 | ||
412 | config-targets := 0 | 412 | config-targets := 0 |
413 | mixed-targets := 0 | 413 | mixed-targets := 0 |