diff --git a/lint b/lint index 7d539f5da..771ea4a60 100755 --- a/lint +++ b/lint @@ -44,7 +44,7 @@ function spell_check { if file $filename | grep executable >/dev/null 2>&1; then return $lint_result fi - if [[ $filename == *".tar" ]]; then + if [[ $filename == *".tar" || $filename == *".gz" ]]; then return $lint_result fi