From b8ea58b7f5e074defe3c30e8dffed8122288d49c Mon Sep 17 00:00:00 2001
From: Manish <manish.thani@gmail.com>
Date: Mon, 8 Jul 2019 19:42:09 +0200
Subject: [PATCH] Adding pylint to Util/BuildTools/ folder

---
 .travis.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 61103d7ad..e397997f0 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -55,7 +55,7 @@ matrix:
         - pip2 install -q --user -r PythonAPI/util/requirements.txt
       script:
         - shopt -s globstar
-        - pylint --disable=R,C --rcfile=PythonAPI/.pylintrc PythonAPI/**/*.py
+        - pylint --disable=R,C --rcfile=PythonAPI/.pylintrc PythonAPI/**/*.py Util/BuildTools/*.py
 
     - env: TEST="Pylint 3"
       addons:
@@ -73,7 +73,7 @@ matrix:
         - pip3 install -q --user -r Util/Docker/requirements.txt
       script:
         - shopt -s globstar
-        - pylint --disable=R,C --rcfile=PythonAPI/.pylintrc PythonAPI/**/*.py Util/Docker/*.py
+        - pylint --disable=R,C --rcfile=PythonAPI/.pylintrc PythonAPI/**/*.py Util/Docker/*.py Util/BuildTools/*.py
 
     - env: TEST="MkDocs"
       install: