diff options
Diffstat (limited to 'Build/source/utils')
-rwxr-xr-x | Build/source/utils/t1utils/config.guess | 4 | ||||
-rwxr-xr-x | Build/source/utils/texi2html/config.guess | 4 | ||||
-rwxr-xr-x | Build/source/utils/texinfo/config.guess | 4 |
3 files changed, 6 insertions, 6 deletions
diff --git a/Build/source/utils/t1utils/config.guess b/Build/source/utils/t1utils/config.guess index 2b03b482280..1a695461e6a 100755 --- a/Build/source/utils/t1utils/config.guess +++ b/Build/source/utils/t1utils/config.guess @@ -4,7 +4,7 @@ # 2000, 2001, 2002, 2003, 2004, 2005, 2006 Free Software Foundation, # Inc. -timestamp='2006-12-08' +timestamp='2006-12-22' # This file is free software; you can redistribute it and/or modify it # under the terms of the GNU General Public License as published by @@ -781,7 +781,7 @@ EOF i*:CYGWIN*:*) echo ${UNAME_MACHINE}-pc-cygwin exit ;; - i*:MINGW*:*) + *:MINGW*:*) echo ${UNAME_MACHINE}-pc-mingw32 exit ;; i*:windows32*:*) diff --git a/Build/source/utils/texi2html/config.guess b/Build/source/utils/texi2html/config.guess index 2b03b482280..1a695461e6a 100755 --- a/Build/source/utils/texi2html/config.guess +++ b/Build/source/utils/texi2html/config.guess @@ -4,7 +4,7 @@ # 2000, 2001, 2002, 2003, 2004, 2005, 2006 Free Software Foundation, # Inc. -timestamp='2006-12-08' +timestamp='2006-12-22' # This file is free software; you can redistribute it and/or modify it # under the terms of the GNU General Public License as published by @@ -781,7 +781,7 @@ EOF i*:CYGWIN*:*) echo ${UNAME_MACHINE}-pc-cygwin exit ;; - i*:MINGW*:*) + *:MINGW*:*) echo ${UNAME_MACHINE}-pc-mingw32 exit ;; i*:windows32*:*) diff --git a/Build/source/utils/texinfo/config.guess b/Build/source/utils/texinfo/config.guess index 2b03b482280..1a695461e6a 100755 --- a/Build/source/utils/texinfo/config.guess +++ b/Build/source/utils/texinfo/config.guess @@ -4,7 +4,7 @@ # 2000, 2001, 2002, 2003, 2004, 2005, 2006 Free Software Foundation, # Inc. -timestamp='2006-12-08' +timestamp='2006-12-22' # This file is free software; you can redistribute it and/or modify it # under the terms of the GNU General Public License as published by @@ -781,7 +781,7 @@ EOF i*:CYGWIN*:*) echo ${UNAME_MACHINE}-pc-cygwin exit ;; - i*:MINGW*:*) + *:MINGW*:*) echo ${UNAME_MACHINE}-pc-mingw32 exit ;; i*:windows32*:*) |