diff options
| author | Darius Makovsky <traveltissues@protonmail.com> | 2019-11-14 11:10:01 +0000 |
|---|---|---|
| committer | Darius Makovsky <traveltissues@protonmail.com> | 2019-11-15 09:10:06 +0000 |
| commit | d33e106df1c77fb8970a07a1491fc650752349bd (patch) | |
| tree | fbe349e3d23e70618e2c7bffa1cb894ed1103916 | |
| parent | 0eac8421e3f65833774ed1d1476ed8ceb9fd20e4 (diff) | |
| download | buildstream-d33e106df1c77fb8970a07a1491fc650752349bd.tar.gz | |
_stream: Force workspace removal
| -rw-r--r-- | src/buildstream/_stream.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/buildstream/_stream.py b/src/buildstream/_stream.py index 2515fadce..676c57426 100644 --- a/src/buildstream/_stream.py +++ b/src/buildstream/_stream.py @@ -914,7 +914,7 @@ class Stream: if workspace and not no_checkout: workspaces.delete_workspace(target._get_full_name()) workspaces.save_config() - shutil.rmtree(directory) + utils._force_rmtree(directory) try: os.makedirs(directory, exist_ok=True) except OSError as e: |