Torbjorn Granlund tg at
Thu Dec 27 22:39:37 CET 2012

bodrato at writes:

  Il Gio, 27 Dicembre 2012 12:12 pm, Niels ha scritto:
  > Torbjorn Granlund <tg at> 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.
More specifically?

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 mailing list