From e1105bc5c35652c5d2b67a7d57673ac650d4a9f2 Mon Sep 17 00:00:00 2001
From: dubochet <dubochet@5e8d7ff9-d8ef-0310-90f0-a4852d11357a>
Date: Fri, 10 Feb 2006 18:19:09 +0000
Subject: [PATCH] Updated SABBUS to provide more information about the
 environment in which it is running.

git-svn-id: http://lampsvn.epfl.ch/svn-repos/scala/scala/trunk@5741 5e8d7ff9-d8ef-0310-90f0-a4852d11357a
---
 build.xml | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/build.xml b/build.xml
index 3292cd778..f2684a417 100644
--- a/build.xml
+++ b/build.xml
@@ -171,18 +171,21 @@ INITIALISATION
       </or>
     </condition>
     <if><isset property="os.cygwin"/>
-      <then><echo>SABBUS detected a Cygwin environnement</echo></then>
+      <then><echo>OS type:  Cygwin</echo></then>
       <elseif><isset property="os.win"/>
-        <then><echo>SABBUS detected a Windows environnement</echo></then>
+        <then><echo>OS type:  Windows</echo></then>
       </elseif>
       <elseif><isset property="os.unix"/>
-        <then><echo>SABBUS detected a UNIX environnement</echo></then>
+        <then><echo>OS type:  UNIX</echo></then>
       </elseif>
       <else>
         <fail>System environment could not be determined</fail>
       </else>
     </if>
-    <echo>Java environment: ${java.home}</echo>
+    <echo>OS name:  ${os.name} ${os.arch} ${os.version}</echo>
+    <echo>Java:     ${java.version} ('${java.home}')</echo>
+    <echo>Java VM:  ${java.vm.name} ${java.vm.version}</echo>
+    <echo>Ant:      ${ant.version}</echo>
   </target>
   
   <target name="setup" depends="init">