RFR: JDK-8139657: Incremental build of jdk.vm.ci-gensrc creates repeated entries in services file

Hello, Sorry for not noticing this earlier. Here is a fix for the problem with repeating lines in the services file. Bug: https://bugs.openjdk.java.net/browse/JDK-8139657 Patch: diff -r 9ab5571ccea8 make/gensrc/Gensrc-jdk.vm.ci.gmk --- a/make/gensrc/Gensrc-jdk.vm.ci.gmk +++

Re: RFR: JDK-8139657: Incremental build of jdk.vm.ci-gensrc creates repeated entries in services file

Looks good. Since you are a JDK 9 Reviewer, will you push this fix? > On Oct 15, 2015, at 2:39 AM, Erik Joelsson wrote: > > Hello, > > Sorry for not noticing this earlier. Here is a fix for the problem with > repeating lines in the services file. > > Bug: