From ebbec7708f4cc7ce6bd7835edca2e79dae50b8ae Mon Sep 17 00:00:00 2001
From: Till Maas <opensource@till.name>
Date: Sun, 19 Apr 2020 10:56:57 +0200
Subject: [PATCH] runpylint.sh: Export RUN_PYLINT_* variables

Some of the RUN_PYLINT_* variables are evaluated in a python script. To
ensure that they are passed to it, they need to be exported.
---
 .travis/runpylint.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.travis/runpylint.sh b/.travis/runpylint.sh
index b613e18..e14694d 100755
--- a/.travis/runpylint.sh
+++ b/.travis/runpylint.sh
@@ -31,5 +31,8 @@ if [[ "${RUN_PYLINT_SETUP_MODULE_UTILS}" ]]; then
   lsr_setup_module_utils
 fi
 
+export RUN_PYLINT_DISABLED
+export RUN_PYLINT_EXCLUDE
+export RUN_PYLINT_INCLUDE
 set -x
 python ${SCRIPTDIR}/custom_pylint.py "$@"