summaryrefslogtreecommitdiff
path: root/build.xml
diff options
context:
space:
mode:
authormichelou <michelou@epfl.ch>2006-05-04 12:18:57 +0000
committermichelou <michelou@epfl.ch>2006-05-04 12:18:57 +0000
commitf8de30e27e00c3632c803490be9847085d13a181 (patch)
tree3b363e487cecf7bdaf2e07f46da869170fcb6415 /build.xml
parent6b474101b94e41dafb160438342977de2e925454 (diff)
downloadscala-f8de30e27e00c3632c803490be9847085d13a181.tar.gz
scala-f8de30e27e00c3632c803490be9847085d13a181.tar.bz2
scala-f8de30e27e00c3632c803490be9847085d13a181.zip
added target 'dist.quick' (no tests and docs) i...
added target 'dist.quick' (no tests and docs) in file build.xml
Diffstat (limited to 'build.xml')
-rw-r--r--build.xml11
1 files changed, 10 insertions, 1 deletions
diff --git a/build.xml b/build.xml
index 0fef2d1065..0c907dc843 100644
--- a/build.xml
+++ b/build.xml
@@ -967,9 +967,18 @@ GENERATES A DISTRIBUTION
<runtarget target="dist"/>
</target>
+ <target name="dist.quick"
+ depends="build.strap, dist.latest"
+ description="Creates a quick Scala distribution (no tests and docs)"
+ />
+
<target name="dist"
- depends="test, docs"
+ depends="test, docs, dist.latest"
description="Creates a complete Scala distribution"
+ />
+
+ <target name="dist.latest"
+ description="Creates the latest Scala distribution"
>
<property
name="dist.current.dir"