Translate -gnu/linux* to -linux*.

1994-10-04 09:12:29 +00:00 · 1994-10-04 09:12:29 +00:00 · c38c0d7079
parent 31961b85a0
commit c38c0d7079
1 changed files with 3 additions and 0 deletions
--- a/config.sub
+++ b/config.sub
@ -565,6 +565,9 @@ case $os in
 	-solaris)
 		os=-solaris2
 		;;
+	-gnu/linux*)
+		os=`echo $os | sed -e 's|gnu/linux|linux|'`
+		;;
 	# First accept the basic system types.
 	# The portable systems comes first.
 	# Each alternative must end in a *, to match a version number.