diff options
| author | bst-marge-bot <marge-bot@buildstream.build> | 2019-11-15 12:58:49 +0000 |
|---|---|---|
| committer | bst-marge-bot <marge-bot@buildstream.build> | 2019-11-15 12:58:49 +0000 |
| commit | a686cd0680b3df7bca8b877c20c7f8a8a9d1d79b (patch) | |
| tree | fbe349e3d23e70618e2c7bffa1cb894ed1103916 | |
| parent | 0eac8421e3f65833774ed1d1476ed8ceb9fd20e4 (diff) | |
| parent | d33e106df1c77fb8970a07a1491fc650752349bd (diff) | |
| download | buildstream-a686cd0680b3df7bca8b877c20c7f8a8a9d1d79b.tar.gz | |
Merge branch 'traveltissues/1171' into 'master'
_stream: Force workspace removal
See merge request BuildStream/buildstream!1709
| -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: |