Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
frama-c
Commits
705b7c9a
Commit
705b7c9a
authored
Apr 10, 2020
by
Virgile Prevosto
Browse files
[lint] fix ptests.ml indentation
parent
1e009cb5
Changes
2
Expand all
Hide whitespace changes
Inline
Side-by-side
Makefile
View file @
705b7c9a
...
...
@@ -1705,6 +1705,7 @@ check-devguide: $(CHECK_CODE) $(DOC_DEPEND) $(DOC_DIR)/kernel-doc.ocamldoc
# 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
+=
ptests/ptests.ml
MANUAL_ML_FILES
:=
$(
filter-out
$(GENERATED)
$(PLUGIN_GENERATED_LIST)
,
$(ALL_ML_FILES)
)
# Allow control of files to be linted/fixed by external sources
...
...
ptests/ptests.ml
View file @
705b7c9a
This diff is collapsed.
Click to expand it.
Write
Preview
Supports
Markdown
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