pylintlmi « pylint « tools - openlmi-providers.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff stats

path: root/tools/pylint/pylintlmi

blob: 4e39aebf213cc65abad4c8b411976b473e22d439 (plain)

#!/bin/sh

dir=`dirname $0`
[[ -z "$dir" ]] && dir=.

export PYLINTRC=$dir/pylintrc
export PYTHONPATH="$PYTHONPATH:$dir/plugins"
exec pylint $@