Skip to content
Snippets Groups Projects
Commit c1372d1b authored by Julien Signoles's avatar Julien Signoles
Browse files

[makefile] wc + fix ocaml files

parent 189f3075
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/Makefile.in
+ 7
− 0
View file @ c1372d1b
...@@ -332,6 +332,13 @@ PLUGIN_HEADER_EXCEPTIONS:= ...@@ -332,6 +332,13 @@ PLUGIN_HEADER_EXCEPTIONS:=
# and dedicated to distributed tests # and dedicated to distributed tests
PLUGIN_DISTRIB_TESTS:= $(EACSL_DISTRIB_TESTS) PLUGIN_DISTRIB_TESTS:= $(EACSL_DISTRIB_TESTS)
########
# Misc #
########
wc:
ocamlwc -p $(EACSL_OCAML_FILES)
########## ##########
# Header # # Header #
########## ##########
......
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