diff --git a/scripts/ml.in b/scripts/ml.in index 2eba296af..00ff42571 100644 --- a/scripts/ml.in +++ b/scripts/ml.in @@ -1,7 +1,7 @@ #! /bin/sh # @configure_input@ #---------------------------------------------------------------------------# -# Copyright (C) 1995-1998 The University of Melbourne. +# Copyright (C) 1995-1999 The University of Melbourne. # This file may only be copied under the terms of the GNU General # Public License - see the file COPYING in the Mercury distribution. #---------------------------------------------------------------------------# @@ -95,7 +95,7 @@ BROWSER_LIB_NAME=mer_browser verbose=false case $FULLARCH in - *-win95|*-winnt|*-win32|*-cygwin32) + *-win95|*-winnt|*-win32|*-cygwin32|*-cygwin) # `gcc -s' is broken in gnu-win32 strip=false ;;