From 6bd46a76f8f56f6831f27bd2b221c71464937340 Mon Sep 17 00:00:00 2001
From: Rudi Grinberg <rudi.grinberg@gmail.com>
Date: Thu, 11 Jan 2018 16:20:19 +0800
Subject: [PATCH] Make lint alias standard

---
 src/alias.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/alias.ml b/src/alias.ml
index b7b793df..5683e4a0 100644
--- a/src/alias.ml
+++ b/src/alias.ml
@@ -47,7 +47,7 @@ let make name ~dir =
 let dep t = Build.path t.file
 
 let is_standard = function
-  | "runtest" | "install" | "doc" -> true
+  | "runtest" | "install" | "doc" | "lint" -> true
   | _ -> false
 
 let dep_rec ~loc ~file_tree t =