summaryrefslogtreecommitdiff
path: root/Build/source/utils
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/utils')
-rwxr-xr-xBuild/source/utils/t1utils/config.guess4
-rwxr-xr-xBuild/source/utils/texi2html/config.guess4
-rwxr-xr-xBuild/source/utils/texinfo/config.guess4
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*:*)