diff options
Diffstat (limited to 'tools/mpfr/patches/001-only_src.patch')
| -rw-r--r-- | tools/mpfr/patches/001-only_src.patch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/mpfr/patches/001-only_src.patch b/tools/mpfr/patches/001-only_src.patch index 4a07cb9a7a..b983f879c2 100644 --- a/tools/mpfr/patches/001-only_src.patch +++ b/tools/mpfr/patches/001-only_src.patch @@ -1,6 +1,6 @@ --- a/Makefile.am +++ b/Makefile.am -@@ -18,7 +18,7 @@ +@@ -18,7 +18,7 @@ AUTOMAKE_OPTIONS = gnu # old Automake version. ACLOCAL_AMFLAGS = -I m4 @@ -11,7 +11,7 @@ examples/ReadMe examples/divworst.c examples/rndo-add.c examples/sample.c \ --- a/Makefile.in +++ b/Makefile.in -@@ -377,7 +377,7 @@ top_builddir = @top_builddir@ +@@ -378,7 +378,7 @@ AUTOMAKE_OPTIONS = gnu # libtoolize and in case some developer needs to switch back to an # old Automake version. ACLOCAL_AMFLAGS = -I m4 |