Skip to content
Snippets Groups Projects
Commit 801fde05 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[MdR] ignore generated API module

parent eb6f852a
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
.gitignore
+ 1
− 0
View file @ 801fde05
...@@ -209,3 +209,4 @@ hello-*.tar.gz ...@@ -209,3 +209,4 @@ hello-*.tar.gz
/tests/crowbar/integer_bb_pretty /tests/crowbar/integer_bb_pretty
/src/plugins/gui/dgraph_helper.ml /src/plugins/gui/dgraph_helper.ml
/doc/doxygen /doc/doxygen
/src/plugins/markdown-report/Report_markdown.mli
src/plugins/markdown-report/Makefile
+ 1
− 1
View file @ 801fde05
...@@ -5,7 +5,7 @@ endif ...@@ -5,7 +5,7 @@ endif
Report_markdown_VERSION:=0.1~beta Report_markdown_VERSION:=0.1~beta
PLUGIN_NAME:=Report_markdown PLUGIN_NAME:=Report_markdown
PLUGIN_GENERATED:=$(PLUGIN_DIR)/mdr_version.ml PLUGIN_GENERATED:=$(PLUGIN_DIR)/mdr_version.ml $(PLUGIN_DIR)/Report_markdown.mli
PLUGIN_CMO:=\ PLUGIN_CMO:=\
sarif mdr_version mdr_params parse_remarks \ sarif mdr_version mdr_params parse_remarks \
eva_coverage md_gen sarif_gen mdr_register eva_coverage md_gen sarif_gen mdr_register
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment