src/Tools/WWW_Find/lib/Tools/wwwfind

--- a/src/Tools/WWW_Find/lib/Tools/wwwfind	Sat May 22 20:10:11 2010 +0200
+++ b/src/Tools/WWW_Find/lib/Tools/wwwfind	Sat May 22 20:20:51 2010 +0200
@@ -35,12 +35,11 @@
 
 function checkplatform()
 {
-  PLAT=$(uname -s)
-  case "$PLAT" in
-    Linux)
+  case "$ISABELLE_PLATFORM" in
+    *-linux)
       ;;
     *)
-      fail "Platform $PLAT currently not supported by $PRG component."
+      fail "Platform $ISABELLE_PLATFORM currently not supported by $PRG component"
       ;;
   esac
 }