diff options
author | michelou <michelou@epfl.ch> | 2006-05-04 12:18:57 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2006-05-04 12:18:57 +0000 |
commit | f8de30e27e00c3632c803490be9847085d13a181 (patch) | |
tree | 3b363e487cecf7bdaf2e07f46da869170fcb6415 /build.xml | |
parent | 6b474101b94e41dafb160438342977de2e925454 (diff) | |
download | scala-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.xml | 11 |
1 files changed, 10 insertions, 1 deletions
@@ -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" |