From f607fe4f9507d052c17bb239f04dc96796f5858b Mon Sep 17 00:00:00 2001
From: Antonio Cunei <antonio.cunei@epfl.ch>
Date: Thu, 17 Dec 2009 11:16:58 +0000
Subject: Adding target distpack-opt.

Review by rytz.
---
 build.xml | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'build.xml')

diff --git a/build.xml b/build.xml
index fc315ee63f..32acdbfac8 100644
--- a/build.xml
+++ b/build.xml
@@ -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"/>
 
 <!-- ===========================================================================
-- 
cgit v1.2.3