diff --git a/Makefile.mk b/Makefile.mk index b7b16e09a..8e133fd84 100644 --- a/Makefile.mk +++ b/Makefile.mk @@ -366,7 +366,7 @@ $(JERRY_TARGETS): @mkdir -p $(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) --no-duplicate 1>$(TARGET_DIR)/vera.log + @vera++ -r ./tools/vera++ -p jerry $(SOURCES_JERRY_C) $(SOURCES_JERRY_H) -e --no-duplicate 1>$(TARGET_DIR)/vera.log @mkdir -p $(TARGET_DIR)/obj @source_index=0; \ for jerry_src in $(SOURCES_JERRY) $(MAIN_MODULE_SRC); do \