Skip to content
Snippets Groups Projects
Commit 9d5897c8 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[lint] catch unknown extensions

parent c0c02e74
No related branches found
No related tags found
No related merge requests found
......@@ -288,11 +288,15 @@ let check ~verbose ~update file params =
close_out out_chan
end ;
(* Indentation *)
if params.indent then
if not @@ check_indent ~update file then begin
Printf.eprintf "Bad indentation for %s\n" file ;
res := false
end ;
try
if params.indent then
if not @@ check_indent ~update file then begin
Printf.eprintf "Bad indentation for %s\n" file ;
res := false
end ;
with Bad_ext ->
Printf.eprintf "Don't know how to (check) indent %s\n" file ;
res := false
end
(**************************************************************************)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment