ant-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From bode...@locus.apache.org
Subject cvs commit: jakarta-ant/src/main/org/apache/tools/ant/taskdefs Javac.java
Date Tue, 19 Sep 2000 06:50:12 GMT
bodewig     00/09/18 23:50:11

  Modified:    src/main/org/apache/tools/ant/taskdefs Javac.java
  Log:
  Put the PATH obtained from extdirs between bootclasspath and
  userclasspath when using jikes or jvc to make them match javac's
  behavior.
  Submitted by:	 Robert Krueger <krueger@signal7.de>
  
  Revision  Changes    Path
  1.40      +4 -4      jakarta-ant/src/main/org/apache/tools/ant/taskdefs/Javac.java
  
  Index: Javac.java
  ===================================================================
  RCS file: /home/cvs/jakarta-ant/src/main/org/apache/tools/ant/taskdefs/Javac.java,v
  retrieving revision 1.39
  retrieving revision 1.40
  diff -u -r1.39 -r1.40
  --- Javac.java	2000/09/15 07:10:58	1.39
  +++ Javac.java	2000/09/19 06:50:11	1.40
  @@ -571,12 +571,12 @@
               classpath.append(bootclasspath);
           }
   
  -        classpath.append(getCompileClasspath(true));
  -
           // Jikes doesn't support an extension dir (-extdir)
           // so we'll emulate it for compatibility and convenience.
           addExtdirsToClasspath(classpath);
   
  +        classpath.append(getCompileClasspath(true));
  +
           // Jikes has no option for source-path so we
           // will add it to classpath.
           classpath.append(src);
  @@ -765,11 +765,11 @@
               classpath.append(bootclasspath);
           }
   
  -        classpath.append(getCompileClasspath(true));
  -
           // jvc doesn't support an extension dir (-extdir)
           // so we'll emulate it for compatibility and convenience.
           addExtdirsToClasspath(classpath);
  +
  +        classpath.append(getCompileClasspath(true));
   
           // jvc has no option for source-path so we
           // will add it to classpath.
  
  
  

Mime
View raw message