From 391a225595037a53aee1eaa8165fa594546fc362 Mon Sep 17 00:00:00 2001
From: Tim Abbott <tabbott@mit.edu>
Date: Mon, 2 May 2016 22:09:24 -0700
Subject: [PATCH] lint: Check for missing space after comments.

---
 tools/lint-all | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/tools/lint-all b/tools/lint-all
index 412aa812b2..5d18346049 100755
--- a/tools/lint-all
+++ b/tools/lint-all
@@ -151,6 +151,9 @@ python_rules = [
      'description': 'Missing whitespace after ":"'},
     {'pattern': "':\w[^']*$",
      'description': 'Missing whitespace after ":"'},
+    {'pattern': "^\s+[#]\w",
+     'strip': '\n',
+     'description': 'Missing whitespace after "#"'},
     # This next check could have false positives, but it seems pretty
     # rare; if we find any, they can be added to the exclude list for
     # this rule.