diff options
-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: |