Make lint script work; $result has special meaning!

This commit is contained in:
Tom Wilkie committed 2015-04-17 11:42:19 +00:00
1 parent eef5559a43
commit c187c9b290
1 file changed
+3 -3
+3 -3
View File
@@ -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 {