diff options
author | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2005-11-30 17:16:11 +0000 |
---|---|---|
committer | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2005-11-30 17:16:11 +0000 |
commit | 89c583a548bfa2c113cb5bff5668895107bee70e (patch) | |
tree | 2267fa0064d587646a214d5e1bfc637cb2de93d9 /build.xml | |
parent | 31168656d770558c52c7cd1555621ce52ea8cfca (diff) | |
download | scala-89c583a548bfa2c113cb5bff5668895107bee70e.tar.gz scala-89c583a548bfa2c113cb5bff5668895107bee70e.tar.bz2 scala-89c583a548bfa2c113cb5bff5668895107bee70e.zip |
SCABBUS now also supports the "print" option.
Diffstat (limited to 'build.xml')
-rw-r--r-- | build.xml | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -218,7 +218,7 @@ <nsc srcdir="${sources.dir}" destdir="${build.nslib.dir}" usepredefs="false" debuginfo="${nsc.debuginfo}" stop="${nsc.stop}" skip="${nsc.skip}" check="${nsc.check}" log="${nsc.log}" - logging="${nsc.logging}"> + logging="${nsc.logging}" print="${nsc.print}"> <classpath> <pathelement location="${build.pico-nslib.dir}"/> <pathelement location="${build.nslib.dir}"/> @@ -232,7 +232,7 @@ <nsc srcdir="${sources.dir}" destdir="${build.nslib.dir}" excludesfile="${nsc.nslib.excludes}" debuginfo="${nsc.debuginfo}" stop="${nsc.stop}" skip="${nsc.skip}" check="${nsc.check}" log="${nsc.log}" - logging="${nsc.logging}"> + logging="${nsc.logging}" print="${nsc.print}"> <classpath> <pathelement location="${build.pico-nslib.dir}"/> <pathelement location="${build.nslib.dir}"/> @@ -253,7 +253,7 @@ <nsc srcdir="${sources.dir}" destdir="${build.nstools.dir}" excludesfile="${nsc.nstools.excludes}" debuginfo="${nsc.debuginfo}" stop="${nsc.stop}" skip="${nsc.skip}" check="${nsc.check}" log="${nsc.log}" - logging="${nsc.logging}"> + logging="${nsc.logging}" print="${nsc.print}"> <classpath> <pathelement location="${build.pico-nslib.dir}"/> <pathelement location="${build.nslib.dir}"/> |