Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

#3799 jedit 5.1 build.xml. javac -source arg is ignored

minor bug
closed-out-of-date
nobody
None
5
2014-02-11
2013-04-17
Alan Ezust
No

When building jEdit, why is the -source argument ignored when passed from ant?
There is no way to check for and report errors when finding java7 expressions in jEdit, if you are using a java7 compiler.

Discussion

  • Alan Ezust
    Alan Ezust
    2013-05-27

    • summary: jedit build.xml. javac -source arg is ignored --> jedit 5.1 build.xml. javac -source arg is ignored
     
  • Alan Ezust
    Alan Ezust
    2013-05-27

    This is only an issue for jEdit 5.1. Current workaround: Only use java 1.6 compiler when releasing jEdit 5.1

     
  • Alan Ezust
    Alan Ezust
    2013-05-27

    • milestone: --> minor bug
     
  • Alan Ezust
    Alan Ezust
    2014-02-11

    • Description has changed:

    Diff:

    --- old
    +++ new
    @@ -1,3 +1,2 @@
    -
     When building jEdit,  why is the -source argument ignored when passed from ant? 
     There is no way to check for and report errors when finding java7 expressions in jEdit, if you are using a java7 compiler.
    
    • status: open --> closed-out-of-date