diff --git a/Makefile.mk b/Makefile.mk index 01ba0bb7b..c97531a6f 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 --no-duplicate 1>/dev/null + @vera++ -r ./tools/vera++ -p jerry $(SOURCES_JERRY_C) $(SOURCES_JERRY_H) --no-duplicate 1>/dev/null @mkdir -p $(TARGET_DIR) @mkdir -p $(TARGET_DIR)/obj @source_index=0; \