[PATCH] gc --aggressive: make it really aggressive
David Kastrup
dak@gnu.org
Thu Dec 6 17:08:00 GMT 2007
Johannes Schindelin <Johannes.Schindelin@gmx.de> writes:
> However, I think that --aggressive should be aggressive, and if you
> decide to run it on a machine which lacks the muscle to be aggressive,
> well, you should have known better.
That's a rather cheap shot. "you should have known better" than
expecting to be able to use a documented command and option because the
git developers happened to have a nicer machine...
_How_ is one supposed to have known better?
--
David Kastrup, Kriemhildstr. 15, 44793 Bochum
More information about the Gcc
mailing list