From 3a7d5bc0e3e5cbf2451e026c9a4f1874ab5bbafa Mon Sep 17 00:00:00 2001 From: Sasha Levin Date: Mon, 17 Sep 2012 23:40:23 +0200 Subject: [PATCH] kvm tools: support build-time checks 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 Signed-off-by: Pekka Enberg --- tools/kvm/Makefile | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/tools/kvm/Makefile b/tools/kvm/Makefile index d4b5eb39da8a..e0d07dc6eb82 100644 --- a/tools/kvm/Makefile +++ b/tools/kvm/Makefile @@ -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 $@ -- 2.39.5