diff options
Diffstat (limited to 'pylint/graph.py')
-rw-r--r-- | pylint/graph.py | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/pylint/graph.py b/pylint/graph.py index 492f8fd..76d254c 100644 --- a/pylint/graph.py +++ b/pylint/graph.py @@ -101,10 +101,7 @@ class DotBackend(object): pdot.write(self.source) pdot.close() if target != 'dot': - if sys.platform == 'win32': - use_shell = True - else: - use_shell = False + use_shell = sys.platform == 'win32' if mapfile: subprocess.call([self.renderer, '-Tcmapx', '-o', mapfile, '-T', target, dot_sourcepath, |