diff options
author | Burak Emir <emir@epfl.ch> | 2007-08-10 17:32:31 +0000 |
---|---|---|
committer | Burak Emir <emir@epfl.ch> | 2007-08-10 17:32:31 +0000 |
commit | b9232101bd74fc59850613c380abea7eedcaa070 (patch) | |
tree | 3bbb91088fc10702c1f81f644809c0884485d933 /build.xml | |
parent | 2cc1c6799b4b791bdae6a957ef14dde235b45aa8 (diff) | |
download | scala-b9232101bd74fc59850613c380abea7eedcaa070.tar.gz scala-b9232101bd74fc59850613c380abea7eedcaa070.tar.bz2 scala-b9232101bd74fc59850613c380abea7eedcaa070.zip |
argh, fixed dependencies, and added {stability....
argh, fixed dependencies, and added {stability.tool} property
Diffstat (limited to 'build.xml')
-rw-r--r-- | build.xml | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -70,7 +70,8 @@ PROPERTIES <property name="fsc.exec.name" value="fsc"/> <property name="comp.prop.name" value="compiler.properties"/> <property name="lib.prop.name" value="library.properties"/> - + <!-- if available, faster stability checking --> + <property name="stability.tool" value="/home/linuxsoft/apps/stability/stability"/> <!-- =========================================================================== ANT INITIALISATION ============================================================================ --> @@ -1173,7 +1174,7 @@ GENERATES A DISTRIBUTION </target> <target name="dist" - depends="build.clean, test, build.dist" + depends="clean.build, test, build.dist" description="Creates a (stability-)tested, complete Scala distribution *from scratch*"/> <target name="pack" |