Explorar el Código

[ci] Skip wsgiserver.py from the CI (#1244)

Too many issues and very tricky to test the change.
Romain hace 5 años
padre
commit
5616dba057
Se han modificado 1 ficheros con 1 adiciones y 1 borrados
  1. 1 1
      tools/ci/check_for_python_lint.sh

+ 1 - 1
tools/ci/check_for_python_lint.sh

@@ -20,7 +20,7 @@
 HOME=${1:-"."}
 FOUND_ISSUE=-1
 
-files=`git diff --name-only origin/master --diff-filter=b | egrep .py$ | grep -v /ext-py/`
+files=`git diff --name-only origin/master --diff-filter=b | egrep .py$ | grep -v /ext-py/ | grep -v wsgiserver.py`
 
 cd $HOME