diff options
author | michelou <michelou@epfl.ch> | 2006-03-06 12:14:04 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2006-03-06 12:14:04 +0000 |
commit | 31b6aecca77ca376f28cb139e87635032356cd3a (patch) | |
tree | b2986d80b05d850c101ddfef35f191c48bddf3a4 /build.xml | |
parent | d0266a1a7e92b0bc2c09f15288de45f1f43229d6 (diff) | |
download | scala-31b6aecca77ca376f28cb139e87635032356cd3a.tar.gz scala-31b6aecca77ca376f28cb139e87635032356cd3a.tar.bz2 scala-31b6aecca77ca376f28cb139e87635032356cd3a.zip |
also prints out hostname and OS in log file bui...
also prints out hostname and OS in log file build.timers
Diffstat (limited to 'build.xml')
-rw-r--r-- | build.xml | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -231,7 +231,11 @@ INITIALISATION <echo level="verbose">version.number=${version.number}</echo> <property name="dist.current.dir" value="${dist.dir}/${dist.name}-${version.number}"/> - <echo file="${nsc.timers}" append="true">${line.separator}revision ${revision} built on ${start.DSTAMP}-${start.TSTAMP} + <if><isset property="os.win"/> + <then><property name="host.name" value="${env.COMPUTERNAME}"/></then> + <else><property name="host.name" value="${env.HOST}"/></else> + </if> + <echo file="${nsc.timers}" append="true">${line.separator}revision ${revision} built on ${start.DSTAMP}-${start.TSTAMP} running ${java.vm.name} ${java.vm.version} on ${host.name} (${os.name} ${os.arch} ${os.version}) </echo> <property name="init.avail" value="yes"/> </target> |