diff --git a/build.xml b/build.xml index d13f009ec..e6d701a7d 100644 --- a/build.xml +++ b/build.xml @@ -231,7 +231,11 @@ INITIALISATION version.number=${version.number} - ${line.separator}revision ${revision} built on ${start.DSTAMP}-${start.TSTAMP} + + + + + ${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})