ecj-diamond
authorMarkus Koschany <apo@debian.org>
Wed, 14 Aug 2019 13:02:49 +0000 (15:02 +0200)
committerEmilio Pozuelo Monfort <pochu@debian.org>
Thu, 27 Feb 2020 08:41:03 +0000 (08:41 +0000)
Gbp-Pq: Name ecj-diamond.patch

Makefile.am

index ec984313a1dcfdb8e6c1b0888d12e279e7617a7c..d3a955369ab514909d41759105bfc6678a70969d 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 += \