Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
frama-c
Commits
c53791f0
Commit
c53791f0
authored
Oct 16, 2020
by
Virgile Prevosto
Browse files
[lint] filter externally-specified list of ml files to lint
Allows the pre-commit hook to succeed if a ml file disappears
parent
e08ed196
Changes
1
Hide whitespace changes
Inline
Side-by-side
Makefile
View file @
c53791f0
...
...
@@ -1704,9 +1704,12 @@ ALL_ML_FILES:=$(shell find src -name '*.ml' -print -o -name '*.mli' -print -o -p
ALL_ML_FILES
+=
ptests/ptests.ml
ifeq
($(origin MANUAL_ML_FILES),undefined)
MANUAL_ML_FILES
:=
$(
filter-out
$(GENERATED)
$(PLUGIN_GENERATED_LIST)
,
$(ALL_ML_FILES)
)
MANUAL_ML_FILES
:=
$(ALL_ML_FILES)
endif
MANUAL_ML_FILES
:=
\
$(
filter-out
$(GENERATED)
$(PLUGIN_GENERATED_LIST)
,
$(MANUAL_ML_FILES)
)
# Allow control of files to be linted/fixed by external sources
# (e.g. pre-commit hook that will concentrate on files which have changed)
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment