From 29fd84fdbde8723a45e6de4b3b6e0ec6a5582af3 Mon Sep 17 00:00:00 2001
From: Steve Howell <steve@zulip.com>
Date: Fri, 9 Aug 2013 13:06:02 -0400
Subject: [PATCH] Rename check-all to lint-all.

(imported from commit 844b2c69748f6d9df8ff1189c006ccf405f787c3)
---
 tools/{check-all => lint-all} | 0
 tools/test-all                | 2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename tools/{check-all => lint-all} (100%)

diff --git a/tools/check-all b/tools/lint-all
similarity index 100%
rename from tools/check-all
rename to tools/lint-all
diff --git a/tools/test-all b/tools/test-all
index 7c783f4dd9..ee4ddbf3b6 100755
--- a/tools/test-all
+++ b/tools/test-all
@@ -14,7 +14,7 @@ function run {
 }
 
 run ./tools/clean-repo
-run ./tools/check-all
+run ./tools/lint-all
 run ./tools/test-js-with-node
 run ./tools/test-backend
 run ./tools/test-js-with-casper