diff options
| author | Cédric Le Goater <clg@fr.ibm.com> | 2015-02-24 12:14:15 +0100 |
|---|---|---|
| committer | Stewart Smith <stewart@linux.vnet.ibm.com> | 2015-02-26 17:20:33 +1100 |
| commit | aedc25b063b8125e84805781f8d368d8fd78f9c3 (patch) | |
| tree | 08fa8792e5eb980b65a1eb8c5f2377ede7b497d0 /Makefile.main | |
| parent | 6c26bc72093a317a7018bafbece55393d9e222f5 (diff) | |
| download | skiboot-aedc25b063b8125e84805781f8d368d8fd78f9c3.zip skiboot-aedc25b063b8125e84805781f8d368d8fd78f9c3.tar.gz skiboot-aedc25b063b8125e84805781f8d368d8fd78f9c3.tar.bz2 | |
sparse: add make variable C to run sparse when compiling skiboot
As this is done on the Linux kernel, one can now run sparse using
C=1 on the command line. The variable CF can be used to tune the
sparse options.
Signed-off-by: Cédric Le Goater <clg@fr.ibm.com>
Signed-off-by: Stewart Smith <stewart@linux.vnet.ibm.com>
Diffstat (limited to 'Makefile.main')
| -rw-r--r-- | Makefile.main | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.main b/Makefile.main index 665baf4..cf41a22 100644 --- a/Makefile.main +++ b/Makefile.main @@ -87,6 +87,9 @@ ifneq ($(KERNEL),) CPPFLAGS += -DBUILTIN_KERNEL="\"$(KERNEL)\"" endif +CHECK = sparse +CHECKFLAGS := $(CF) + .SECONDARY: vpath %.c $(SRC) |