_pipeline.py: correct reporting of unused workspace

If building multiple targets, bst reports for each target the workspaces that aren't used, rather than the workspaces that are unused by any target.

Merge request reports

Loading