From aa90e1cb979f5189567d55d9e83dd3ed7500de09 Mon Sep 17 00:00:00 2001
From: Ben Elliston <bje@gnu.org>
Date: Wed, 20 Dec 2000 12:37:29 +0000
Subject: [PATCH] 2000-12-20  Pavel Roskin  <proski@gnu.org>

	* config.sub: Handle mint with version number as recognized OS.
	Contributed by Tomas Berndtsson <tomas@nocrew.org>.
---
 ChangeLog  | 5 +++++
 config.sub | 4 ++--
 2 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index ac32bc4..f2a3c0d 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2000-12-20  Pavel Roskin  <proski@gnu.org>
+
+	* config.sub: Handle mint with version number as recognized OS.
+	Contributed by Tomas Berndtsson <tomas@nocrew.org>.
+
 2000-12-20  Pavel Roskin  <proski@gnu.org>
 
 	* config.guess: Detect Fujitsu f700 machines.
diff --git a/config.sub b/config.sub
index d78d6da..923c57b 100755
--- a/config.sub
+++ b/config.sub
@@ -1107,7 +1107,7 @@ case $os in
 	-xenix)
 		os=-xenix
 		;;
-        -*mint | -*MiNT)
+        -*mint | -mint[0-9]* | -*MiNT | -MiNT[0-9]*)
 	        os=-mint
 		;;
 	-none)
@@ -1327,7 +1327,7 @@ case $basic_machine in
 			-mpw* | -macos*)
 				vendor=apple
 				;;
-			-*mint | -*MiNT)
+			-*mint | -mint[0-9]* | -*MiNT | -MiNT[0-9]*)
 				vendor=atari
 				;;
 		esac