# HG changeset patch
# User wenzelm
# Date 1163112019 -3600
# Node ID 2cb5f1621bcf400ac2e6f8f206c0dfff754a8617
# Parent  9442e9d75ada8a9a9dbad6b1403bebe14e6776f8
added x86-cygwin;

diff -r 9442e9d75ada -r 2cb5f1621bcf lib/scripts/polyml-platform
--- a/lib/scripts/polyml-platform	Thu Nov 09 23:33:55 2006 +0100
+++ b/lib/scripts/polyml-platform	Thu Nov 09 23:40:19 2006 +0100
@@ -49,6 +49,13 @@
         ;;
     esac
     ;;
+  CYGWIN_NT*)
+    case $(uname -m) in
+      i?86)
+        PLATFORM=x86-cygwin
+        ;;
+    esac
+    ;;
   Windows_NT)
     case $(uname -m) in
       ?86)