From d76a90a9993910e24444b7a197f9d451b68834ae Mon Sep 17 00:00:00 2001
From: Tom Wilkie <tom.wilkie@gmail.com>
Date: Mon, 22 Feb 2016 13:56:42 +0000
Subject: [PATCH] Don't lint codecgen'd code.

---
 lint | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lint b/lint
index 22deea8b2..05adb45c6 100755
--- a/lint
+++ b/lint
@@ -148,7 +148,7 @@ function lint_files {
 
 function list_files {
 	if [ $# -gt 0 ]; then
-		find "$@" -type f | grep -vE '(^\./\.git|^\./\.pkg|/vendor/)'
+		find "$@" -type f | grep -vE '(^\./\.git|^\./\.pkg|/vendor/|codecgen.go$)'
 	else
 		git diff --cached --name-only
 	fi