From 70cd3aaba00156c8eb67191f40357117c835d6ba Mon Sep 17 00:00:00 2001 From: Alfonso Acosta Date: Wed, 26 Apr 2017 16:43:06 +0000 Subject: [PATCH] only lint files in git ls-files, not .git/* --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index f5558d4a6..0aa02af15 100644 --- a/Makefile +++ b/Makefile @@ -127,7 +127,7 @@ tests: $(SCOPE_BACKEND_BUILD_UPTODATE) $(CODECGEN_TARGETS) ./tools/test -no-go-get lint: $(SCOPE_BACKEND_BUILD_UPTODATE) - ./tools/lint -ignorespelling "agre " -ignorespelling "AGRE " . + ./tools/lint ./tools/shell-lint tools prog/staticui/staticui.go: $(SCOPE_BACKEND_BUILD_UPTODATE)