diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2013-07-10 15:24:00 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2013-07-10 15:24:00 +0000 |
commit | fae53a4be62255d0b21c22e1c149d6bf41a91a20 (patch) | |
tree | b80407a9c93b2570a1a0d4c240e4241a4d49779d /configure.ac | |
parent | 9e6cc4ee9a7be83f14e9eed9a2e5a80cee2b4ea8 (diff) | |
download | mpfr-fae53a4be62255d0b21c22e1c149d6bf41a91a20.tar.gz |
[configure.ac] Improved r8608 (gmp.h/libgmp on stderr).
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8609 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/configure.ac b/configure.ac index 53bcff8d3..a35cc4eb8 100644 --- a/configure.ac +++ b/configure.ac @@ -518,8 +518,8 @@ AC_RUN_IFELSE([AC_LANG_PROGRAM([[ __GNU_MP_VERSION_PATCHLEVEL); printf ("(%s/%s) ", buffer, gmp_version); fflush (stdout); - fprintf (stderr, "(%s/%s) ", buffer, gmp_version); - fflush (stderr); + /* Also put information in config.log (stderr) */ + fprintf (stderr, "gmp.h: %s / libgmp: %s\n", buffer, gmp_version); if (strcmp (buffer, gmp_version) == 0) return 0; if (__GNU_MP_VERSION_PATCHLEVEL != 0) |