summaryrefslogtreecommitdiff
path: root/build.xml
diff options
context:
space:
mode:
authorLukas Rytz <lukas.rytz@epfl.ch>2008-09-18 07:29:03 +0000
committerLukas Rytz <lukas.rytz@epfl.ch>2008-09-18 07:29:03 +0000
commite4d18ccfbb3ad49eb1408eec773f72527bce4b11 (patch)
tree29a7f8fdafa4c8e6000b864b217dd02942c28b0b /build.xml
parente92d29fecc454616ac748e159200f35e987ff59d (diff)
downloadscala-e4d18ccfbb3ad49eb1408eec773f72527bce4b11.tar.gz
scala-e4d18ccfbb3ad49eb1408eec773f72527bce4b11.tar.bz2
scala-e4d18ccfbb3ad49eb1408eec773f72527bce4b11.zip
build prints more detailed java version
Diffstat (limited to 'build.xml')
-rw-r--r--build.xml2
1 files changed, 1 insertions, 1 deletions
diff --git a/build.xml b/build.xml
index 2df1d6de41..3f8c2a6e31 100644
--- a/build.xml
+++ b/build.xml
@@ -164,7 +164,7 @@ INITIALISATION
value="${version.major}.${version.minor}.${version.patch}.r${svn.number}-b${time.short}"/>
<!-- And print-out what we are building -->
<echo level="info" message="Build number is '${version.number}'"/>
- <echo level="info" message="Built ${time.human} from revision ${svn.number} with Java ${java.vm.version}"/>
+ <echo level="info" message="Built ${time.human} from revision ${svn.number} with ${java.vm.name} ${java.version}"/>
<!-- Define tasks that can be run with Starr -->
<path id="starr.classpath">
<pathelement location="${lib.starr.jar}"/>