gnu/config
1
0
Fork 0
mirror of git://git.savannah.gnu.org/config.git synced 2025-05-28 18:16:36 +12:00
Code Issues Packages Projects Releases Wiki Activity

2000-12-20 Pavel Roskin <proski@gnu.org>

Browse Source 
* config.sub: Handle mint with version number as recognized OS.
	Contributed by Tomas Berndtsson <tomas@nocrew.org>.
This commit is contained in:
Ben Elliston 2000-12-20 12:37:29 +00:00
parent 83c7916f86
commit aa90e1cb97
2 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
ChangeLog
View File

@ -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.

4
config.sub vendored
View File

@ -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