mirror of
git://git.savannah.gnu.org/config.git
synced 2025-05-29 02:26:36 +12:00
* config.sub (tile*): Only set 'os' to -linux-gnu if unset.
Signed-off-by: Ben Elliston <bje@gnu.org>
This commit is contained in:
parent
437d5d59dc
commit
ea0e5a6f5b
@ -1,6 +1,10 @@
|
|||||||
2018-08-08 John Ericson <john.ericson@obsidian.systems>
|
2018-08-08 John Ericson <john.ericson@obsidian.systems>
|
||||||
|
|
||||||
* config.sub (abacus, asmjs): Combine some redundant case arms.
|
* config.sub (tile*): Only set 'os' to -linux-gnu if unset.
|
||||||
|
|
||||||
|
2018-08-08 John Ericson <john.ericson@obsidian.systems>
|
||||||
|
|
||||||
|
* config.sub (abacus, asmjs): Combine these redundant case arms.
|
||||||
|
|
||||||
2018-08-08 John Ericson <john.ericson@obsidian.systems>
|
2018-08-08 John Ericson <john.ericson@obsidian.systems>
|
||||||
|
|
||||||
|
2
config.sub
vendored
2
config.sub
vendored
@ -1193,7 +1193,7 @@ case $basic_machine in
|
|||||||
;;
|
;;
|
||||||
tile*)
|
tile*)
|
||||||
basic_machine=$basic_machine-unknown
|
basic_machine=$basic_machine-unknown
|
||||||
os=linux-gnu
|
os=${os:-linux-gnu}
|
||||||
;;
|
;;
|
||||||
tx39)
|
tx39)
|
||||||
basic_machine=mipstx39-unknown
|
basic_machine=mipstx39-unknown
|
||||||
|
Loading…
x
Reference in New Issue
Block a user