diff options
author | Matthew Vernon <matthew@debian.org> | 2015-06-13 11:46:28 +0100 |
---|---|---|
committer | Matthew Vernon <matthew@debian.org> | 2015-06-13 11:46:28 +0100 |
commit | 76007cb8847da991dd95182ce60526b740eeee37 (patch) | |
tree | e7da23650c3ebf5fbe96cfcbd79b5e91dbcdd095 /.pc/no_jit_x32_powerpcspe.patch/.timestamp | |
parent | 9badd2ec79637d3077365475f457a8e46e6f8208 (diff) |
Patch from Thorsten Glaser (fixes #760327)
This disables JIT on powerpcspe and x32; it was previously applied and
then reverted (I think due to miscommunication). The changelog entries
relating to the changes that ended up being reverted are also
restored.
Diffstat (limited to '.pc/no_jit_x32_powerpcspe.patch/.timestamp')
-rw-r--r-- | .pc/no_jit_x32_powerpcspe.patch/.timestamp | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/.pc/no_jit_x32_powerpcspe.patch/.timestamp b/.pc/no_jit_x32_powerpcspe.patch/.timestamp new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/.pc/no_jit_x32_powerpcspe.patch/.timestamp |