diff options
author | Vratko Polak <vrpolak@cisco.com> | 2021-06-01 10:29:17 +0200 |
---|---|---|
committer | Vratko Polak <vrpolak@cisco.com> | 2021-06-01 10:29:17 +0200 |
commit | 1d8887789f98551aac51571b8c4c0c3a18612203 (patch) | |
tree | 4ae052c5e13fdbdc70b6ca5501a05bffe1fd1d58 /resources | |
parent | a3e4b41a5565f59d44e08a78b08736f5988c58ff (diff) |
Tox: Run pylint also for GPL
Change-Id: Ic6c5d35dc602638b06962fcad30d8517c9553552
Signed-off-by: Vratko Polak <vrpolak@cisco.com>
Diffstat (limited to 'resources')
-rw-r--r-- | resources/libraries/bash/entry/check/pylint.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/resources/libraries/bash/entry/check/pylint.sh b/resources/libraries/bash/entry/check/pylint.sh index 919e140f28..4d8c27d634 100644 --- a/resources/libraries/bash/entry/check/pylint.sh +++ b/resources/libraries/bash/entry/check/pylint.sh @@ -1,4 +1,4 @@ -# Copyright (c) 2019 Cisco and/or its affiliates. +# Copyright (c) 2021 Cisco and/or its affiliates. # Licensed under the Apache License, Version 2.0 (the "License"); # you may not use this file except in compliance with the License. # You may obtain a copy of the License at: @@ -29,7 +29,7 @@ source "${BASH_FUNCTION_DIR}/common.sh" || { echo "Source failed." >&2 exit 1 } -pylint_args=("--rcfile=pylint.cfg" "resources/") +pylint_args=("--rcfile=pylint.cfg" "resources/" "GPL/") if pylint "${pylint_args[@]}" > "pylint.log"; then warn warn "Pylint checker: PASS" |