trivial diff: scripts/ml.in: s/cygwin32/cygwin/

[Fergus Henderson]

Estimated hours taken: 0.1

scripts/ml.in:
	Check for `cygwin' as well as `cygwin32', since
	Cygwin32 has been renamed as Cygwin now.

Index: scripts/ml.in
===================================================================
RCS file: /home/mercury1/repository/mercury/scripts/ml.in,v
retrieving revision 1.50
diff -u -r1.50 ml.in
--- ml.in	1998/10/16 06:19:26	1.50
+++ ml.in	1998/12/16 19:13:51
@@ -95,7 +95,7 @@
 
 verbose=false
 case $FULLARCH in
-	*-win95|*-winnt|*-win32|*-cygwin32)
+	*-win95|*-winnt|*-win32|*-cygwin32|*-cygwin)
 		# `gcc -s' is broken in gnu-win32
 		strip=false
 		;;

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "Binaries may die
WWW: <http://www.cs.mu.oz.au/~fjh>  |   but source code lives forever"
PGP: finger fjh at 128.250.37.3        |     -- leaked Microsoft memo.