diff options
author | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2005-11-15 16:47:34 +0000 |
---|---|---|
committer | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2005-11-15 16:47:34 +0000 |
commit | f4823a2c469e55de0da0e33315a04348f01fccdd (patch) | |
tree | 745f104aa1ca547a4b4ec5725f0f3c272c2416d6 | |
parent | 161eca252623ccba6c1cb3a6b3a88e2693a1e7fb (diff) | |
download | scala-f4823a2c469e55de0da0e33315a04348f01fccdd.tar.gz scala-f4823a2c469e55de0da0e33315a04348f01fccdd.tar.bz2 scala-f4823a2c469e55de0da0e33315a04348f01fccdd.zip |
At last: the annoying two files that build.pico...
At last: the annoying two files that build.pico.nslib was rebuilding
everytime now no longer are.
-rw-r--r-- | build.xml | 21 |
1 files changed, 11 insertions, 10 deletions
@@ -167,20 +167,21 @@ <target name="build.pico.nslib" depends="init.pico, build.init" description="Builds the runtime and pico libraries of the new Scala library."> <pico srcdir="${sources.dir}" destdir="${build.pico-nslib.dir}" - scalahack="true"> + scalahack="true" includes="**/*.java"> <classpath> <pathelement location="${build.pico-nslib.dir}"/> </classpath> <or> - <filename name="scala/runtime/*.java"/> - <filename name="scala/runtime/**/*.java"/> - <filename name="scala/tools/util/*.java"/> - <and> - <filename name="scala/*.java"/> - <not><present targetdir="${newsources.dir}" present="both"> - <mapper type="glob" from="*.scala" to="*.java"/> - </present></not> - </and> + <filename name="scala/runtime/**/*"/> + <filename name="scala/tools/util/*"/> + <and> + <filename name="scala/*"/> + <not> + <present targetdir="${newsources.dir}" present="both"> + <mapper type="glob" from="*.java" to="*.scala"/> + </present> + </not> + </and> </or> </pico> <delete> |