diff options
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 665baf40..cf41a220 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) |
