diff options
author | Marco Bodrato <bodrato@mail.dm.unipi.it> | 2019-11-17 00:12:24 +0100 |
---|---|---|
committer | Marco Bodrato <bodrato@mail.dm.unipi.it> | 2019-11-17 00:12:24 +0100 |
commit | 5e8360560db59a1e66a71c73a8ea5d1dd9ccff0e (patch) | |
tree | 6c160e064f41a691bcabcee738543865952017af /Makefile.am | |
parent | cc5da06284277c69529776c0a30b0f98bd969c11 (diff) | |
download | gmp-5e8360560db59a1e66a71c73a8ea5d1dd9ccff0e.tar.gz |
mini-gmp: Enable testing with different limb sizes (types).
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 5e5dc898b..f69f05218 100644 --- a/Makefile.am +++ b/Makefile.am @@ -442,7 +442,7 @@ check-mini-gmp: MINI_GMP_DIR="$$abs_srcdir/mini-gmp" \ LDFLAGS="-L../../.libs" \ LIBS="-lgmp -lm" \ - CC="$(CC)" CFLAGS="$(CFLAGS)" CPPFLAGS="-I../.." check + CC="$(CC)" CFLAGS="$(CFLAGS)" CPPFLAGS="$(CPPFLAGS) -I../.." check clean-mini-gmp: if [ -d mini-gmp/tests ] ; then \ |