added x86-cygwin;
authorwenzelm
Thu, 09 Nov 2006 23:40:19 +0100
changeset 21279 2cb5f1621bcf
parent 21278 9442e9d75ada
child 21280 b4aa7daa506b
added x86-cygwin;
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)