diff options
| author | Antonio Cunei <antonio.cunei@epfl.ch> | 2009-12-17 11:16:58 +0000 |
|---|---|---|
| committer | Antonio Cunei <antonio.cunei@epfl.ch> | 2009-12-17 11:16:58 +0000 |
| commit | f607fe4f9507d052c17bb239f04dc96796f5858b (patch) | |
| tree | 5cd594bba7f6968974be8a8245e47b3a851e9315 /build.xml | |
| parent | 65bd378795d655679778ce2699f2a3c4f0580235 (diff) | |
| download | scala-f607fe4f9507d052c17bb239f04dc96796f5858b.tar.gz scala-f607fe4f9507d052c17bb239f04dc96796f5858b.tar.bz2 scala-f607fe4f9507d052c17bb239f04dc96796f5858b.zip | |
Adding target distpack-opt.
Review by rytz.
Diffstat (limited to 'build.xml')
| -rw-r--r-- | build.xml | 8 |
1 files changed, 7 insertions, 1 deletions
@@ -1541,9 +1541,15 @@ FORWARDED TARGETS FOR PACKAGING <target name="distpack" depends="dist.done"> <ant antfile="${src.dir}/build/pack.xml" target="pack-all.done" inheritall="yes" inheritrefs="yes"/> </target> + + <target name="distpack-opt" + description="Builds an optimised distribution."> + <antcall target="distpack"> + <param name="scalac.args.optimise" value="-optimise"/> + </antcall> + </target> <!-- Used by the scala-installer script --> - <target name="alldistpack" depends="distpack"/> <target name="allallclean" depends="all.clean"/> <!-- =========================================================================== |