Merge "trivial: fix whitespace-linter catching false positives"

2018-12-23 18:55:01 +00:00 · 2018-12-23 18:55:01 +00:00 · 213ca596e3
commit 213ca596e3
parent 99fe65952e e3f6efbb1f
1 changed files with 2 additions and 0 deletions
--- 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