Help stabilising mini-gmp

[Torbjörn Granlund]

nisse at lysator.liu.se (Niels Möller) writes:

  I think this small change should fix that, but I can't test it at the
  moment.
  
  --- a/Makefile.am	Wed Nov 16 23:07:02 2016 +0100
  +++ b/Makefile.am	Thu Nov 17 07:12:08 2016 +0100
  @@ -433,7 +433,7 @@ check-mini-gmp:
   		MINI_GMP_DIR="$$abs_srcdir/mini-gmp" \
   		LDFLAGS="-L../../.libs" \
   		LIBS="-lgmp -lm" \
  -		CC="$(CC_FOR_BUILD)" EXTRA_CFLAGS="-g -I../.." check
  +		CC="$(CC)" EXTRA_CFLAGS="$(CFLAGS) -g -I../.." check
   
I will put this in now.  (I'd like to move back to getting some dev work
done.  That needs a cleaner test reporting state.)


-- 
Torbjörn
Please encrypt, key id 0xC8601622