diff options
| author | michelou <michelou@epfl.ch> | 2008-01-18 13:44:50 +0000 |
|---|---|---|
| committer | michelou <michelou@epfl.ch> | 2008-01-18 13:44:50 +0000 |
| commit | 5747a2d98abaabbb42c1c9d43d6b4cbba93dfaaa (patch) | |
| tree | c38d757c99ce6a09c890e29034aa1b568436bfd9 /build.xml | |
| parent | f21693b6329dba53ec42b9339f8b42ea12d013b9 (diff) | |
| download | scala-5747a2d98abaabbb42c1c9d43d6b4cbba93dfaaa.tar.gz scala-5747a2d98abaabbb42c1c9d43d6b4cbba93dfaaa.tar.bz2 scala-5747a2d98abaabbb42c1c9d43d6b4cbba93dfaaa.zip | |
added target in optimise task
Diffstat (limited to 'build.xml')
| -rw-r--r-- | build.xml | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1085,7 +1085,7 @@ OPTIMIZE <quick srcdir="${src.dir}/library" destdir="${optimised.dir}/lib/library" - usepredefs="no" addparams="${nsc.params}" + usepredefs="no" addparams="${nsc.params}" target="${nsc.target}" deprecation="yes" unchecked="yes" optimise="yes" classpath="${optimised.dir}/lib/library" @@ -1093,7 +1093,7 @@ OPTIMIZE <quick srcdir="${src.dir}/library" destdir="${optimised.dir}/lib/library" - addparams="${nsc.params}" + addparams="${nsc.params}" target="${nsc.target}" optimise="yes" deprecation="yes" unchecked="yes" classpath="${optimised.dir}/lib/library"> |