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