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 /debian/patches/series | |
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 'debian/patches/series')
-rw-r--r-- | debian/patches/series | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series index e807728..3f239e5 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -5,3 +5,4 @@ pcregrep.1-patch soname.patch Fix-silly-quantifier-size-check.patch cve-2014-8964.patch +no_jit_x32_powerpcspe.patch |