diff options
Diffstat (limited to 'tools/mpfr/patches/001-only_src.patch')
| -rw-r--r-- | tools/mpfr/patches/001-only_src.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/mpfr/patches/001-only_src.patch b/tools/mpfr/patches/001-only_src.patch index e6579b2118..51a75b44b5 100644 --- a/tools/mpfr/patches/001-only_src.patch +++ b/tools/mpfr/patches/001-only_src.patch @@ -11,7 +11,7 @@ examples/ReadMe examples/divworst.c examples/rndo-add.c examples/sample.c \ --- a/Makefile.in +++ b/Makefile.in -@@ -294,7 +294,7 @@ top_builddir = @top_builddir@ +@@ -295,7 +295,7 @@ top_builddir = @top_builddir@ top_srcdir = @top_srcdir@ AUTOMAKE_OPTIONS = gnu ACLOCAL_AMFLAGS = -I m4 |