diff options
Diffstat (limited to 'debian/patches/Don-t-build-the-opcodes-we-deleted.patch')
-rw-r--r-- | debian/patches/Don-t-build-the-opcodes-we-deleted.patch | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/debian/patches/Don-t-build-the-opcodes-we-deleted.patch b/debian/patches/Don-t-build-the-opcodes-we-deleted.patch new file mode 100644 index 0000000..d67d49e --- /dev/null +++ b/debian/patches/Don-t-build-the-opcodes-we-deleted.patch @@ -0,0 +1,26 @@ +From: Felipe Sateler <fsateler@debian.org> +Date: Sat, 16 Jul 2016 16:55:45 -0400 +Subject: Don't build the opcodes we deleted + +These opcodes were stripped from the manual at repack time. +--- + opcodes/top.xml | 6 ------ + 1 file changed, 6 deletions(-) + +diff --git a/opcodes/top.xml b/opcodes/top.xml +index 2db4b72..6402cc0 100644 +--- a/opcodes/top.xml ++++ b/opcodes/top.xml +@@ -809,12 +809,6 @@ + &opcodespvsynth; + &opcodespvswarp; + &opcodespvs2tab; +- &opcodespyassign; +- &opcodespycall; +- &opcodespyeval; +- &opcodespyexec; +- &opcodespyinit; +- &opcodespyrun; + &opcodespwd; + &opcodesqinf; + &opcodesqnan; |