Re: A more radical cleanup for make bootstrap?

[Gregory Heytings]

> > So what I'd suggest is to use extraclean in bootstrap, and add either 
> > another target like "soft-bootstrap" or a configuration variable like 
> > "SOFT=true" that would make a less radical cleanup than what 
> > bootstrap-cleanup now does.
>
> What would be the purpose of this "soft-bootstrap"?

I don't know exactly.  Stefan M and Po Lu both asked for a "less radical" 
bootstrap, which is what that "soft-bootstrap" would have done.  But now 
Stefan said it's not that important to him.  So I guess there's no need 
for a "soft-bootstrap" anymore, unless someone tells otherwise.