diff options
author | Claudiu Popa <pcmanticore@gmail.com> | 2017-07-19 18:45:52 +0200 |
---|---|---|
committer | Claudiu Popa <pcmanticore@gmail.com> | 2017-07-19 18:45:52 +0200 |
commit | d54f3cf4b578760034b31175ffd394a86972d83f (patch) | |
tree | f71f510b3f25b5f5e9509e3fc09a556f2dce04d2 /pylint/utils.py | |
parent | a213323ebea17ce2eb0c7c35523f14e45cbcf920 (diff) | |
download | pylint-git-d54f3cf4b578760034b31175ffd394a86972d83f.tar.gz |
Skip files or directories passed at command line when they are ignored. Close #908
Diffstat (limited to 'pylint/utils.py')
-rw-r--r-- | pylint/utils.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pylint/utils.py b/pylint/utils.py index 9f5caf3e1..f6110da8f 100644 --- a/pylint/utils.py +++ b/pylint/utils.py @@ -847,6 +847,8 @@ def expand_modules(files_or_modules, black_list, black_list_re): result = [] errors = [] for something in files_or_modules: + if os.path.basename(something) in black_list: + continue if exists(something): # this is a file or a directory try: |