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 /ar-lib | |
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 'ar-lib')
0 files changed, 0 insertions, 0 deletions