From c187c9b290512d4e4daa825563b1df9b020f8b3d Mon Sep 17 00:00:00 2001 From: Tom Wilkie Date: Fri, 17 Apr 2015 11:37:36 +0000 Subject: [PATCH] Make lint script work; $result has special meaning! --- bin/lint | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/bin/lint b/bin/lint index 9f5d3c89..78b9f6a5 100755 --- a/bin/lint +++ b/bin/lint @@ -63,11 +63,11 @@ function lint { } function lint_files { - result=0 + lint_result=0 while read filename; do - lint "${filename}" || result=1 + lint "${filename}" || lint_result=1 done - exit $result + exit $lint_result } function list_files {