clearlinux/kvmtool
2
0
Fork 0
mirror of https://github.com/clearlinux/kvmtool.git synced 2026-06-15 18:05:49 +00:00
Code Issues Packages Projects Releases Wiki Activity

kvm tools: support build-time checks

Browse Source 
Support using build-time check tools when building lkvm. This allows
using tools such as smatch with the same syntax used with kernel
code.

For example, to build with smatch checks, first make sure you have
smatch installed, then run:

	make CHECK="smatch -p=kernel" C=1

Signed-off-by: Sasha Levin <levinsasha928@gmail.com>
Signed-off-by: Pekka Enberg <penberg@kernel.org>
This commit is contained in:
Sasha Levin
2012-09-17 23:40:23 +02:00
committed by Will Deacon
parent 2d0c904c88
commit df851bca25
1 changed files with 16 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Makefile
+16
View File
@@ -322,18 +322,34 @@ $(OBJS):
# This rule relaxes the -Werror on libfdt, since for now it still has
# a bunch of warnings. :(
../../scripts/dtc/libfdt/%.o: ../../scripts/dtc/libfdt/%.c
ifeq ($(C),1)
$(E) " CHECK " $@
$(Q) $(CHECK) -c $(CFLAGS_EASYGOING) $< -o $@
endif
$(E) " CC " $@
$(Q) $(CC) -c $(CFLAGS_EASYGOING) $< -o $@
util/rbtree.static.o util/rbtree.o: ../../lib/rbtree.c
ifeq ($(C),1)
$(E) " CHECK " $@
$(Q) $(CHECK) -c $(CFLAGS) $< -o $@
endif
$(E) " CC " $@
$(Q) $(CC) -c $(CFLAGS) $< -o $@
%.static.o: %.c
ifeq ($(C),1)
$(E) " CHECK " $@
$(Q) $(CHECK) -c $(CFLAGS) $(CFLAGS_STATOPT) $< -o $@
endif
$(E) " CC " $@
$(Q) $(CC) -c $(CFLAGS) $(CFLAGS_STATOPT) $< -o $@
%.o: %.c
ifeq ($(C),1)
$(E) " CHECK " $@
$(Q) $(CHECK) -c $(CFLAGS) $(CFLAGS_DYNOPT) $< -o $@
endif
$(E) " CC " $@
$(Q) $(CC) -c $(CFLAGS) $(CFLAGS_DYNOPT) $< -o $@