diff options
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 \ |