浏览代码

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

Too many issues and very tricky to test the change.
Romain 5 年之前
父节点
当前提交
5616dba057
共有 1 个文件被更改,包括 1 次插入1 次删除
  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