make/build.xml

changeset 414
ec84ba68ad39
parent 404
18d467e94150
child 428
798e3aa19718
     1.1 --- a/make/build.xml	Thu Jul 04 17:28:04 2013 +0200
     1.2 +++ b/make/build.xml	Fri Jul 05 14:38:04 2013 +0530
     1.3 @@ -100,7 +100,8 @@
     1.4             target="${javac.target}"
     1.5             debug="${javac.debug}"
     1.6             encoding="${javac.encoding}"
     1.7 -           includeantruntime="false">
     1.8 +           includeantruntime="false" fork="true">
     1.9 +      <compilerarg value="-J-Djava.ext.dirs="/>
    1.10        <compilerarg value="-Xlint:unchecked"/>
    1.11        <compilerarg value="-Xlint:deprecation"/>
    1.12        <compilerarg value="-XDignore.symbol.file"/>

mercurial