diff options
| author | DJ Delorie <dj@delorie.com> | 2005-06-06 18:36:50 +0000 |
|---|---|---|
| committer | DJ Delorie <dj@delorie.com> | 2005-06-06 18:36:50 +0000 |
| commit | 7de61b1003163b5eb3b37036a8c931af29ec92a6 (patch) | |
| tree | a6d537a5f840e4fd5d9cd91b807bf01d094c2e3d /configure.in | |
| parent | 8adc3f726900a5189c2c15d06434dc6de1ccd610 (diff) | |
| download | gdb-7de61b1003163b5eb3b37036a8c931af29ec92a6.tar.gz | |
* configure.in: Fix typo in handling of --with-mpfr-dir.
* configure: Regenerate.
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.in b/configure.in index 7e2f52aa7a3..3f86f58aa94 100644 --- a/configure.in +++ b/configure.in @@ -1033,7 +1033,7 @@ have_gmp=yes AC_ARG_WITH(mpfr-dir, [ --with-mpfr-dir=PATH Specify source directory for MPFR library]) if test "x$with_mpfr_dir" != x; then - gmpinc="-I$with_mpfr_dir/mpfr" + gmpinc="-I$with_mpfr_dir" gmplibs="$with_mpfr_dir/libmpfr.a" else gmplibs="-lmpfr" |