fixed bug 440, reintroduced splash screen

[org.ibex.core.git] / src / org / ibex / Platform.java

diff --git a/src/org/ibex/Platform.java b/src/org/ibex/Platform.java
index 15f87a6..c3bba86 100644 (file)
--- a/src/org/ibex/Platform.java
+++ b/src/org/ibex/Platform.java
@@ -49,6 +49,7 @@ public abstract class Platform {
                 else if (os_name.startsWith("Linux")) platform_class = "Linux";
                 else if (os_name.startsWith("SunOS")) platform_class = "Solaris";
                 else if (os_name.startsWith("Solaris")) platform_class = "Solaris";
+                else if (os_name.startsWith("Darwin")) platform_class = "Darwin";
                 else platform_class = "X11";
             }
             else if (!version.startsWith("1.0") && !version.startsWith("1.1")) platform_class = "Java2";
@@ -78,7 +79,7 @@ public abstract class Platform {
                 Log.info(Platform.class, e);
             }
 
-            Log.diag(Platform.class, "Ibex VM detection:   vendor = " + vendor);
+            Log.diag(Platform.class, "Ibex VM detection:  vendor = " + vendor);
             Log.diag(Platform.class, "                   version = " + version);
             Log.diag(Platform.class, "                        os = " + os_name + " [version " + os_version + "]");
             Log.diag(Platform.class, "                  platform = " + platform.getDescriptiveName());