> -----Original Message----- > From: Mark Thomas [mailto:ma...@apache.org] > Sent: Thursday, July 12, 2012 1:33 AM > To: Tomcat Developers List > Subject: Re: access to build environment > > On 12/07/2012 02:06, Filip Hanik wrote: > > I'd guess those two, do we use anything else for tomcat ci? > > Not on ASF infrastructure. > > The first step is to get trunk building with 1.7. It doesn't at the > moment because of some jdbc-pool tests that implement some of the SQL > interfaces. Fix those and we can change the source version in the build > and see what breaks. Gump we can fix directly. buildbot we may need to > ask infra to fix (whch means I might have the karma to fix it anyway). [Filip Hanik] You got it. I'll be removing the jdbc-pool externals and do a svn copy for Tomcat 7. That way I can refactor in trunk even for jdbc-pool.
> > Mark > > > > > Sent from my iPhone > > > > On Jul 11, 2012, at 16:42, Mark Thomas <ma...@apache.org> wrote: > > > >> On 11/07/2012 23:40, Filip Hanik (mailing lists) wrote: > >>> How do I get access to the build environment? > >> > >> Which build environment? Gump, buildbot, something else? > >> > >> Mark > >> > >>> > >>> So we can change the build to default to Java 7 > >>> > >>> Filip > >>> > >>> > >>> > >>> > >>> -------------------------------------------------------------------- > - > >>> To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org > >>> For additional commands, e-mail: dev-h...@tomcat.apache.org > >>> > >> > >> > >> > >> --------------------------------------------------------------------- > >> To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org > >> For additional commands, e-mail: dev-h...@tomcat.apache.org > >> > > > > --------------------------------------------------------------------- > > To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org > > For additional commands, e-mail: dev-h...@tomcat.apache.org > > > > > > --------------------------------------------------------------------- > To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org > For additional commands, e-mail: dev-h...@tomcat.apache.org --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org
