This is the mail archive of the java-patches@gcc.gnu.org mailing list for the Java project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [cp-patches] [patch] let gjavah accept -source 1.[567]


On Mon, 2013-01-07 at 09:54 +0100, Mark Wielaard wrote:
> On Sun, 2013-01-06 at 18:00 +0100, Matthias Klose wrote:
> > Am 19.12.2012 18:37, schrieb Mark Wielaard:
> > > If you really meant gjdoc I think it would be OK to try to accept it,
> > > but maybe with a warning message that it is untested?
> > 
> > yes, I meant gjdoc. Here is an updated patch.
> > 
> >   Matthias
> > 
> > 	* tools/gnu/classpath/tools/gjdoc/Main.java: Accept -source 1.5, 1.6, 1.7.
> 
> That looks reasonable to me.

As requested on irc, I have pushed this patch to the git repo for
Matthias.

Cheers,

Mark


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]