Merge pull request #404 from janestreet/make-lint-standard
Make lint alias standard
This commit is contained in:
commit
92d4cbb7be
|
@ -47,7 +47,7 @@ let make name ~dir =
|
||||||
let dep t = Build.path t.file
|
let dep t = Build.path t.file
|
||||||
|
|
||||||
let is_standard = function
|
let is_standard = function
|
||||||
| "runtest" | "install" | "doc" -> true
|
| "runtest" | "install" | "doc" | "lint" -> true
|
||||||
| _ -> false
|
| _ -> false
|
||||||
|
|
||||||
let dep_rec ~loc ~file_tree t =
|
let dep_rec ~loc ~file_tree t =
|
||||||
|
|
Loading…
Reference in New Issue