diff --git a/tools/gate/whitespace-linter.sh b/tools/gate/whitespace-linter.sh index 7e48b834..031a6b45 100755 --- a/tools/gate/whitespace-linter.sh +++ b/tools/gate/whitespace-linter.sh @@ -5,7 +5,9 @@ RES=$(find . \ -not -path "*/\.*" \ -not -path "*/doc/build/*" \ -not -path "*/doc/source/images/*" \ + -not -path "*/htmlcov/*" \ -not -name "*.tgz" \ + -not -name "*.pyc" \ -type f -exec egrep -l " +$" {} \;) if [[ -n $RES ]]; then