diff options
Diffstat (limited to 'Build/source/libs/mpfr/TLpatches/patch-01-TL')
-rw-r--r-- | Build/source/libs/mpfr/TLpatches/patch-01-TL | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Build/source/libs/mpfr/TLpatches/patch-01-TL b/Build/source/libs/mpfr/TLpatches/patch-01-TL index eab4371e0c9..d65e399ab95 100644 --- a/Build/source/libs/mpfr/TLpatches/patch-01-TL +++ b/Build/source/libs/mpfr/TLpatches/patch-01-TL @@ -1,6 +1,6 @@ -diff -ur mpfr-4.0.1/src/mparam_h.in mpfr-src/src/mparam_h.in ---- mpfr-4.0.1/src/mparam_h.in Tue Jan 09 21:30:58 2018 -+++ mpfr-src/src/mparam_h.in Sat Feb 10 15:24:58 2018 +diff -ur mpfr-4.0.2/src/mparam_h.in mpfr-src/src/mparam_h.in +--- mpfr-4.0.2/src/mparam_h.in Mon Jan 07 22:53:20 2019 ++++ mpfr-src/src/mparam_h.in Fri Feb 01 13:50:51 2019 @@ -32,6 +32,8 @@ for example with gcc -dM -E -xc /dev/null As of gcc 4.2, you can also use: -march=native or -mtune=native */ |