diff options
author | Benjamin Barenblat <bbaren@mit.edu> | 2017-09-17 17:25:57 -0400 |
---|---|---|
committer | Benjamin Barenblat <bbaren@mit.edu> | 2017-09-17 17:45:32 -0400 |
commit | e444b6326e3bb1942d9b51e0cdc6bf9350692910 (patch) | |
tree | 184ecbc4707e4edac4e6fcc1b0e697f36413e3e4 /debian/changelog | |
parent | 636e06ea6bad62db4074e8849546a1ff99e8269b (diff) |
Disable GCC code hoisting20170720+dfsg-2
Set MLton to invoke GCC with -fno-code-hoisting when using C codegen.
This corrects a miscompilation on arm64 and mips64el. See
https://bugs.debian.org/871572 for details.
Diffstat (limited to 'debian/changelog')
-rw-r--r-- | debian/changelog | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index 3c79142b..68e5b9ab 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +urweb (20170720+dfsg-2) unstable; urgency=medium + + * Disable code hoisting when using MLton’s C codegen. (Closes: #871572) + + -- Benjamin Barenblat <bbaren@mit.edu> Sun, 17 Sep 2017 17:25:24 -0400 + urweb (20170720+dfsg-1.1) unstable; urgency=medium * Non-maintainer upload. |