From caecc98fa89c7115dd78b20912842ee592d7439d Mon Sep 17 00:00:00 2001 From: Tom Wilkie Date: Mon, 28 Sep 2015 08:03:27 +0000 Subject: [PATCH] Make lint ignore certain files regardless of location: --- lint | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/lint b/lint index 600a94f2c..8b24d5ba2 100755 --- a/lint +++ b/lint @@ -116,10 +116,10 @@ function lint { fi # Don't lint this script or static.go - case "${filename}" in - ./lint) return;; - ./app/static.go) return;; - ./coverage.html) return;; + case "$(basename "${filename}")" in + lint) return;; + static.go) return;; + coverage.html) return;; esac case "$ext" in