--- 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)