Skip to content
GitLab
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
99f00124
Commit
99f00124
authored
Jan 12, 2023
by
Andre Maroneze
💬
Browse files
[lint] hide error messages during tool availability tests
parent
a25dd24d
Changes
1
Hide whitespace changes
Inline
Side-by-side
tools/lint/lint.ml
View file @
99f00124
...
...
@@ -82,7 +82,7 @@ let c_indent_formatter =
{
is_available
=
None
;
kind
=
"C"
;
name
=
"clang-format"
;
available_cmd
=
"clang-format --version > /dev/null"
;
available_cmd
=
"clang-format --version >
/dev/null 2>
/dev/null"
;
check_cmd
=
"clang-format --dry-run -Werror"
;
update_cmd
=
"clang-format -i"
}
...
...
@@ -91,7 +91,7 @@ let python_indent_formatter =
{
is_available
=
None
;
kind
=
"Python"
;
name
=
"black"
;
available_cmd
=
"black --version > /dev/null"
;
available_cmd
=
"black --version >
/dev/null 2>
/dev/null"
;
check_cmd
=
"black --quiet --line-length 100 --check"
;
update_cmd
=
"black --quiet --line-length 100"
}
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new 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