diff options
| -rw-r--r-- | python/servo/build_commands.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/python/servo/build_commands.py b/python/servo/build_commands.py index 4211cc84d96..2e6979d0fca 100644 --- a/python/servo/build_commands.py +++ b/python/servo/build_commands.py @@ -622,6 +622,11 @@ class MachCommands(CommandBase): def clean(self, manifest_path=None, params=[], verbose=False): self.ensure_bootstrapped() + virtualenv_path = path.join(self.get_top_dir(), 'python', '_virtualenv') + if path.exists(virtualenv_path): + print('Removing virtualenv directory: %s' % virtualenv_path) + shutil.rmtree(virtualenv_path) + opts = [] if manifest_path: opts += ["--manifest-path", manifest_path] |