Skip to content
Snippets Groups Projects
Commit 49f49111 authored by Patrick Baudin's avatar Patrick Baudin
Browse files

Adds wtests.ml wrapper to ALL_ML_FILES to lint

parent 38fa604b
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
.git-blame-ignore-revs
+ 1
− 0
View file @ 49f49111
...@@ -31,3 +31,4 @@ dc99367c8f4a95d53ec7ce6187892b91fbfd4c1f ...@@ -31,3 +31,4 @@ dc99367c8f4a95d53ec7ce6187892b91fbfd4c1f
0e05285bd47c752f57c190683608527599fa5afb 0e05285bd47c752f57c190683608527599fa5afb
a767fdcb7adda81a5ef192733ef7c62fd56b30e2 a767fdcb7adda81a5ef192733ef7c62fd56b30e2
4130bab7a8b59d0c94a22d792b2a7d5a26d3484d 4130bab7a8b59d0c94a22d792b2a7d5a26d3484d
237d1bc71eb5efb7c5f32a097aacb90f90e0ff73
Makefile.linting
+ 1
− 1
View file @ 49f49111
...@@ -29,7 +29,7 @@ ...@@ -29,7 +29,7 @@
# Note: the find command below is *very* ugly, but it should be POSIX-compliant. # Note: the find command below is *very* ugly, but it should be POSIX-compliant.
ALL_ML_FILES:=$(shell find src -name '*.ml' -print -o -name '*.mli' -print -o -path '*/tests' -prune '!' -name '*') ALL_ML_FILES:=$(shell find src -name '*.ml' -print -o -name '*.mli' -print -o -path '*/tests' -prune '!' -name '*')
ALL_ML_FILES+=ptests/ptests.ml ALL_ML_FILES+=ptests/ptests.ml ptests/wtests.ml
ifeq ($(origin MANUAL_ML_FILES),undefined) ifeq ($(origin MANUAL_ML_FILES),undefined)
MANUAL_ML_FILES:=$(ALL_ML_FILES) MANUAL_ML_FILES:=$(ALL_ML_FILES)
......
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