# HG changeset patch
# User wenzelm
# Date 1188397478 -7200
# Node ID 33da394f0888cd1133b3b083b0c058174e693dfe
# Parent  acd19ea21fbb60e850c79d8cbb846a5e195237e5
added x86-solaris;

diff -r acd19ea21fbb -r 33da394f0888 lib/scripts/polyml-platform
--- a/lib/scripts/polyml-platform	Wed Aug 29 14:21:19 2007 +0200
+++ b/lib/scripts/polyml-platform	Wed Aug 29 16:24:38 2007 +0200
@@ -18,6 +18,9 @@
           sparc)
             PLATFORM=sparc-solaris
             ;;
+          i?86)
+            PLATFORM=x86-solaris
+            ;;
         esac
         ;;
     esac