Peter, I think we should keep patches to the dev list.
Just one issue with this patch. Do we want to expand on the use of build.compiler.* properties? I actually would like to get rid of them altogether - too implicit for me. Conor > -----Original Message----- > From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] > Sent: Monday, 31 July 2000 17:23 > To: [email protected] > Subject: [Patch] Pedantic mode for Jikes > > > > Hi, > > yet another property that controls compiler behaviour :/ > > Cheers, > > Pete > > *--------------------------------------------------* > | Latrobe University, | | > | Bundoora, Australia | Does the name 'Pavlov' | > | Office: PW220 | ring a bell ? | > | Ex: 2503 | | > *--------------------------------------------------* > > Index: src/main/org/apache/tools/ant/taskdefs/Javac.java > =================================================================== > RCS > file: > /home/cvspublic/jakarta-ant/src/main/org/apache/tools/ant/taskdefs > /Javac.java,v > retrieving revision 1.26 > diff -r1.26 Javac.java > 692a693,707 > > /** > > * Jikes can issue pedantic warnings. > > */ > > boolean pedantic = false; > > String pedanticProperty = > project.getProperty("build.compiler.pedantic"); > > if (pedanticProperty != null && > > (pedanticProperty.equalsIgnoreCase("on") || > > pedanticProperty.equalsIgnoreCase("true")) > > ) { > > pedantic = true; > > } > > > > if (pedantic) > > argList.addElement("+P"); > > >
