Re: make clean no longer works properly?

[Paolo Bonzini]

Now I get:
<some cleaning>
make[1]: *** No rule to make target `clean'.  Stop.
make: *** [clean-stage4-gcc] Error 2

It turns out I had a fix already approved, but never checked in.  Fixed 
(and my apologies).

Paolo