ecj-diamond
authorMarkus Koschany <apo@debian.org>
Wed, 14 Aug 2019 13:02:49 +0000 (15:02 +0200)
committerRoberto C. Sánchez <roberto@debian.org>
Fri, 24 Apr 2020 01:59:07 +0000 (02:59 +0100)
Gbp-Pq: Name ecj-diamond.patch

Makefile.am

index 53ea6ec4d6b77d3076315c91516f582de20cb3e5..a26ffadbd9f9883160ca3e401563ad2b0b45d702 100644 (file)
@@ -447,7 +447,8 @@ ICEDTEA_BOOT_PATCHES = \
        patches/boot/ecj-trywithresources.patch \
        patches/boot/ecj-autoboxing.patch \
        patches/boot/xsltproc.patch \
-       patches/boot/ecj-odd.patch
+       patches/boot/ecj-odd.patch \
+       patches/boot/ecj-diamond.patch
 
 if !DISABLE_BOOTSTRAP_TOOLS
 ICEDTEA_BOOT_PATCHES += \