chiark / gitweb /
Patch from Thorsten Glaser (fixes #760327)
authorMatthew Vernon <matthew@debian.org>
Sat, 13 Jun 2015 10:46:28 +0000 (11:46 +0100)
committerMatthew Vernon <matthew@debian.org>
Sat, 13 Jun 2015 10:46:28 +0000 (11:46 +0100)
commit76007cb8847da991dd95182ce60526b740eeee37
treee7da23650c3ebf5fbe96cfcbd79b5e91dbcdd095
parent9badd2ec79637d3077365475f457a8e46e6f8208
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.
.pc/applied-patches
.pc/no_jit_x32_powerpcspe.patch/.timestamp [new file with mode: 0644]
.pc/no_jit_x32_powerpcspe.patch/sljit/sljitConfigInternal.h [new file with mode: 0644]
debian/changelog
debian/patches/no_jit_x32_powerpcspe.patch [new file with mode: 0644]
debian/patches/series
sljit/sljitConfigInternal.h