# HG changeset patch
# User wenzelm
# Date 1160654868 -7200
# Node ID bb6f570512b53fd254ab822672d192f21decd050
# Parent  0c1296049b47891a749d0211636fa5b2999e4398
added x86-darwin;

diff -r 0c1296049b47 -r bb6f570512b5 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)