diff --git a/Makefile b/Makefile index 723c9824..9f0e0b1a 100644 --- a/Makefile +++ b/Makefile @@ -141,6 +141,9 @@ distclean: clean $(MAKE) -C libite $@ $(MAKE) -C plugins $@ +check: + $(CHECK) *.c plugins/*.c libite/*.c + dist: @echo "Building xz tarball of $(PKG) in parent dir..." git archive --format=tar --prefix=$(PKG)/ $(VERSION) | xz >../$(ARCHIVE) diff --git a/common.mk b/common.mk index eb3b2e38..06bfbb2b 100644 --- a/common.mk +++ b/common.mk @@ -5,6 +5,7 @@ ROOTDIR ?= $(TOPDIR) JUNK = *~ *.bak *.aux *.dvi *.idx *.ind *.log *.ps *.map .*.d DEADJOE semantic.cache *.gdb *.elf core core.* MAKE := @$(MAKE) MAKEFLAGS = --no-print-directory --silent +CHECK := cppcheck $(CPPFLAGS) --quiet --enable=all INSTALL := install --backup=off STRIPINST := $(INSTALL) -s --strip-program=$(CROSS)strip -m 0755