lib/scripts/polyml-platform

--- a/lib/scripts/polyml-platform	Thu Oct 12 08:25:04 2006 +0200
+++ b/lib/scripts/polyml-platform	Thu Oct 12 14:07:48 2006 +0200
@@ -44,6 +44,9 @@
       Power* | power* | ppc)
         PLATFORM=ppc-darwin
         ;;
+      i?86)
+        PLATFORM=x86-darwin
+        ;;
     esac
     ;;
   Windows_NT)