gnu: gmp: Skip unreliable test.

* gnu/packages/patches/gmp-faulty-test.patch: New file.
* gnu-system.am (dist_patch_DATA): Add it.
* gnu/packages/multiprecision.scm (gmp)[source]: Use it.
This commit is contained in:
Ludovic Courtès 2015-10-06 15:18:44 +02:00
parent 18bf40a087
commit 42e735dfc7
3 changed files with 16 additions and 2 deletions

View file

@ -0,0 +1,11 @@
Skip a test that randomly fails on ARMv7: <http://bugs.gnu.org/21620>.
--- a/tests/mpz/reuse.c
+++ b/tests/mpz/reuse.c
@@ -213,6 +213,7 @@ main (int argc, char **argv)
mpz_t bs;
unsigned long bsi, size_range;
+ exit (77); /* skip */
tests_start ();
TESTS_REPS (reps, argv, argc);