gnu/config
1
0
Fork 0
mirror of git://git.savannah.gnu.org/config.git synced 2025-06-07 15:00:22 +12:00
Code Issues Packages Projects Releases Wiki Activity

Translate -gnu/linux* to -linux*.

Browse Source
This commit is contained in:
rms 1994-10-04 09:12:29 +00:00
parent 7c2971dabd
commit 173dbcf7fe
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
config.sub vendored
View File

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