ni...@lysator.liu.se (Niels Möller) writes:

  > I'd suggest doing the below (also undoing Marco's previous fix).
  > To fix the actual failure, one would also need to edit the two
  > gmp-mparam.h files which set DIV_QR_1_NORM_THRESHOLD to zero.
  
  I checked that in yesterday. But I'm a bit confused by the testing
  status. There's a row
  
  z10-ibm-linux-gnu     hark.gmplib.org-stat    64      2014-02-18 2014-02-15   
  
  
  indicating that build succeeded this morning, while testsuite failed a
  couple of days ago.
  
Check failures are sticky, they need to be cleaned up manually.  I do
that only after having rerun the failing tests with the used seed.


Torbjörn
Please encrypt, key id 0xC8601622
_______________________________________________
gmp-devel mailing list
gmp-devel@gmplib.org
https://gmplib.org/mailman/listinfo/gmp-devel

Reply via email to