diff options
author | Sergei Trofimov <sergei.trofimov@arm.com> | 2018-07-18 10:55:24 +0100 |
---|---|---|
committer | Marc Bonnici <marc.bonnici@arm.com> | 2018-07-18 11:20:48 +0100 |
commit | 0e84cf6d64e3ccc5a603fadf79defba33d4f5879 (patch) | |
tree | e077d2031fa96e872ea2dd5c72f44c09c3007d69 /dev_scripts | |
parent | 6d9ec3138cb7ac71466a8255266dec13dfe0e420 (diff) |
dev_scripts/pylint: fix default path
Fix the default scan path used if one has not been specified.
Diffstat (limited to 'dev_scripts')
-rwxr-xr-x | dev_scripts/pylint | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev_scripts/pylint b/dev_scripts/pylint index 2fc0add2..657c42ad 100755 --- a/dev_scripts/pylint +++ b/dev_scripts/pylint @@ -54,7 +54,7 @@ CWD=$PWD pushd $THIS_DIR > /dev/null if [[ "$target" == "" ]]; then for dir in "${DEFAULT_DIRS[@]}"; do - PYTHONPATH=. pylint --rcfile ../extras/pylintrc --load-plugins pylint_plugins $THIS_DIR/../$dir + PYTHONPATH=. pylint --rcfile ../extras/pylintrc --load-plugins pylint_plugins ../$dir done else PYTHONPATH=. pylint --rcfile ../extras/pylintrc --load-plugins pylint_plugins $CWD/$target |