From 8262e7e18e01baa6a1ada77b1ecf2cfc5e8fd0b0 Mon Sep 17 00:00:00 2001 From: Tom Wilkie Date: Thu, 22 Oct 2015 18:02:37 +0000 Subject: [PATCH] Don't lint vendor/ --- lint | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lint b/lint index 8b24d5ba2..7d8ef0a04 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/' + find "$@" -type f | grep -vE '^\./\.git/' | grep -vE '^\./\vendor/' else git diff --cached --name-only fi