21 Nov
2018
21 Nov
'18
8:51 p.m.
On 11/21/2018 9:35 AM, Steven Watanabe via Boost wrote:
AMDG
On 11/21/2018 08:26 AM, Paul A. Bristow via Boost wrote:
I note with surprise (and alarm) that my Boost-stuff disk partition is nearly full!
Closer inspection reveals that I have a bin.v2 folder of over 50 GB.
Obviously, I need to delete something.
What are the implications of deleting things?
What is the best option?
Should I simply delete the whole folder bin.v2 (I have, in desperation, gone nuclear some time ago)
That's what I do. Anything you actually need will be rebuilt on demand.
I do the same. --Robert
or just bin/v2/libs
In Christ, Steven Watanabe
_______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost