From 47a01522c62c88b893ca3d113d0e1e7353519472 Mon Sep 17 00:00:00 2001
From: Jonathan Lange <jml@mumak.net>
Date: Wed, 13 Jul 2016 15:09:24 +0100
Subject: [PATCH] Only lint git files

Means we don't get spurious warnings from generated Javascript files.
---
 lint | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lint b/lint
index e807f8824..eeca6653f 100755
--- a/lint
+++ b/lint
@@ -166,7 +166,7 @@ function lint_files {
 
 function list_files {
 	if [ $# -gt 0 ]; then
-		find "$@" -type f | grep -vE '(^\./\.git|^\./\.pkg|/vendor/|/node_modules/|\.codecgen\.go$|\.generated\.go$)'
+        git ls-files --exclude-standard | grep -v '^vendor/'
 	else
 		git diff --cached --name-only
 	fi