Commit cc331106 by Richard Stallman

Translate -gnu/linux* to -linux*.

From-SVN: r8210
parent 003f7c3e
......@@ -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.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment