Lines Matching refs:linux
436 # Transform linux* to *-*-linux-gnu*, to support old configure scripts.
438 linux-gnu*) ;;
439 linux*) host=`echo $host | sed 's/^\(.*-.*-linux\)\(.*\)$/\1-gnu\2/'`
1606 version_type=linux
1615 version_type=linux
1645 version_type=linux
1702 version_type=linux
1758 linux-gnuoldld* | linux-gnuaout* | linux-gnucoff*)
1763 linux-gnu*)
1764 version_type=linux
1845 version_type=linux
1872 version_type=linux
1884 version_type=linux
1891 version_type=linux