From 18a3f7f64e5801fd84d8db89d31d0badc50e200e Mon Sep 17 00:00:00 2001 From: "e.gavrin" Date: Mon, 11 Aug 2014 12:54:13 +0400 Subject: [PATCH] Remove check gnu style --- Makefile.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.mk b/Makefile.mk index 033b55a68..01ba0bb7b 100644 --- a/Makefile.mk +++ b/Makefile.mk @@ -365,7 +365,7 @@ $(JERRY_TARGETS): @rm -rf $(TARGET_DIR) @cppcheck $(DEFINES_JERRY) $(SOURCES_JERRY_C) $(INCLUDES_JERRY) $(INCLUDES_THIRDPARTY) \ --error-exitcode=1 --std=c99 --enable=all --suppress=missingIncludeSystem --suppress=unusedFunction 1>/dev/null - @vera++ -r ./tools/vera++ -p jerry $(SOURCES_JERRY_C) $(SOURCES_JERRY_H) -e --summary 1>/dev/null + @vera++ -r ./tools/vera++ -p jerry $(SOURCES_JERRY_C) $(SOURCES_JERRY_H) -e --summary --no-duplicate 1>/dev/null @mkdir -p $(TARGET_DIR) @mkdir -p $(TARGET_DIR)/obj @source_index=0; \