On 9/5/16, Matthias Klose <d...@ubuntu.com> wrote: > On 05.09.2016 17:13, Andrew Haley wrote: >> As discussed. I think I should ask a Global reviewer to approve this >> one. For obvious reasons I haven't included the diffs to the deleted >> gcc/java and libjava directories. The whole tree, post GCJ-deletion, >> is at svn+ssh://gcc.gnu.org/svn/gcc/branches/gcj/gcj-deletion-branch >> if anyone would like to try it. >> >> Andrew. >> >> >> 2016-09-05 Andrew Haley <a...@redhat.com> >> >> * Makefile.def: Remove libjava. >> * Makefile.tpl: Likewise. >> * Makefile.in: Regenerate. >> * configure.ac: Likewise. >> * configure: Likewise. >> * gcc/java: Remove. >> * libjava: Likewise. > > Please consider removing boehm-gc as well. The only other user is > --enable-objc-gc, which better should use an external boehm-gc. > > Matthias > >
How about a compromise to have it be downloaded with the contrib/download_prerequisites script, instead of entirely keeping it, or entirely deleting it? Eric