From da61499b4aa6ebd9fc7cfb4a570797a4ca5a6f72 Mon Sep 17 00:00:00 2001 From: Dustin Kirkland Date: Tue, 23 May 2006 15:57:23 -0500 Subject: [PATCH] --- yaml --- r: 31594 b: refs/heads/master c: 701842e3bdd7db09db6af43fc5906ee19b61338d h: refs/heads/master v: v3 --- [refs] | 2 +- trunk/Makefile | 9 +++++---- 2 files changed, 6 insertions(+), 5 deletions(-) diff --git a/[refs] b/[refs] index 7967162ac7b4..aa3d37f502ab 100644 --- a/[refs] +++ b/[refs] @@ -1,2 +1,2 @@ --- -refs/heads/master: c96fca213737a5b4bc569e1d9a0ef6adeff661e9 +refs/heads/master: 701842e3bdd7db09db6af43fc5906ee19b61338d diff --git a/trunk/Makefile b/trunk/Makefile index 935a9d610e68..4dcf25d43fa6 100644 --- a/trunk/Makefile +++ b/trunk/Makefile @@ -41,8 +41,9 @@ ifndef KBUILD_VERBOSE KBUILD_VERBOSE = 0 endif -# Call sparse as part of compilation of C files -# Use 'make C=1' to enable sparse checking +# Call checker as part of compilation of C files +# Use 'make C=1' to enable checking (sparse, by default) +# Override with 'make C=1 CHECK=checker_executable CHECKFLAGS=....' ifdef C ifeq ("$(origin C)", "command line") @@ -1060,8 +1061,8 @@ help: @echo ' make V=0|1 [targets] 0 => quiet build (default), 1 => verbose build' @echo ' make O=dir [targets] Locate all output files in "dir", including .config' - @echo ' make C=1 [targets] Check all c source with $$CHECK (sparse)' - @echo ' make C=2 [targets] Force check of all c source with $$CHECK (sparse)' + @echo ' make C=1 [targets] Check all c source with $$CHECK (sparse by default)' + @echo ' make C=2 [targets] Force check of all c source with $$CHECK' @echo '' @echo 'Execute "make" or "make all" to build all targets marked with [*] ' @echo 'For further info see the ./README file'