recognize mips*- instead of mips-
authorDavid D. Zuhn <zoo@cygnus>
Tue, 12 Oct 1993 21:14:26 +0000 (21:14 +0000)
committerDavid D. Zuhn <zoo@cygnus>
Tue, 12 Oct 1993 21:14:26 +0000 (21:14 +0000)
commite718498b08e7e649251fdf3c55d6fee9d7bc8a7c
tree1d1282e949aeb3bf85dac4d76b6efbdd0565954b
parent95171817bac590f01d71ac7a02b964c315c23025
recognize mips*- instead of mips-
configure.in