tg at gmplib.org
Thu Dec 27 22:39:37 CET 2012
bodrato at mail.dm.unipi.it writes:
Il Gio, 27 Dicembre 2012 12:12 pm, Niels ha scritto:
> Torbjorn Granlund <tg at gmplib.org> writes:
>> I thought we had discussed this. The change is fine, optimising the
>> common case is a great thing in general.
Unfortunately, the common case is not tested by our testsuite!
Only check-mini-gmp stress-tests it ;-)
Fortunately, our own coverage runs disagree:
I have no idea why hydra differs. I use a plain build, and no fancy
nightbuild features for running longer tests.
> Maybe it would be good to keep that file in the repo?
That's a good idea.
I have moved from meta files in the distribution/repo towards web in
recent years. What purpose would moving in the other direction serve?
OK, I am web dictator, but not repo dictator. (That is just a result of
lack of infrastructure. I'd be more than happy to change it, we just
need some mechanism for making a push trigger an rsync.)
More information about the gmp-devel