summaryrefslogtreecommitdiff
path: root/build.xml
diff options
context:
space:
mode:
authorGilles Dubochet <gilles.dubochet@epfl.ch>2005-10-11 11:58:23 +0000
committerGilles Dubochet <gilles.dubochet@epfl.ch>2005-10-11 11:58:23 +0000
commit3f12c15fc04df923c8cf408cf7cd8157e03778a6 (patch)
tree4b7d57920a5edac8ff2501ae35e7de1224886e19 /build.xml
parent59a434de1b5fbc24383586d21412d3bd154e1013 (diff)
downloadscala-3f12c15fc04df923c8cf408cf7cd8157e03778a6.tar.gz
scala-3f12c15fc04df923c8cf408cf7cd8157e03778a6.tar.bz2
scala-3f12c15fc04df923c8cf408cf7cd8157e03778a6.zip
Removed two unecessary echos.
Diffstat (limited to 'build.xml')
-rw-r--r--build.xml11
1 files changed, 5 insertions, 6 deletions
diff --git a/build.xml b/build.xml
index ab7b2dbe47..e76b109a3f 100644
--- a/build.xml
+++ b/build.xml
@@ -14,9 +14,9 @@
<!-- Sets project's properties -->
<!-- Properties in 'build.${user.name}.properties' take precedence over properties in 'build.default.properties' -->
- <echo>Loading properties from '${basedir}/build.support/build.${user.name}.properties'</echo>
+ <echo level="verbose">Loading properties from '${basedir}/build.support/build.${user.name}.properties'</echo>
<property file="${basedir}/build.support/build.${user.name}.properties"/>
- <echo>Loading properties from '${basedir}/build.support/build.default.properties'</echo>
+ <echo level="verbose">Loading properties from '${basedir}/build.support/build.default.properties'</echo>
<property file="${basedir}/build.support/build.default.properties"/>
<!-- A path containing pre-compiled Scala libraries found typically
@@ -293,13 +293,13 @@
depends="clean.build, clean.distrib"
description="Deletes all generated files, both build and distribution files." />
- <target name="clean.build" description="Delete all generated build files.">
+ <target name="clean.build" description="Deletes all generated build files.">
<delete dir="${build.dir}" includeemptydirs="true"
quiet="true" failonerror="false" />
</target>
<target name="clean.distrib"
- description="Delete all generated distribution files.">
+ description="Deletes all generated distribution files.">
<delete dir="${distrib.dir}" includeemptydirs="true"
quiet="true" failonerror="false">
<fileset>
@@ -314,8 +314,7 @@
#####################################################################
-->
- <target name="help" depends="usage">
- </target>
+ <target name="help" depends="usage"/>
<target name="usage" description="Display usage information.">
<echo>Execute 'ant -projecthelp' for build file help.</echo>