comparison make-dist @ 9898:cd6ad88c82fd

(mips-sgi-irix5.[01]*): Distinguish from irix5*. (mips-sgi-irix*): Now an alias for mips-sgi-irix5*.
author Richard M. Stallman <rms@gnu.org>
date Fri, 11 Nov 1994 19:44:48 +0000
parents ee0d90e7720d
children 9b43de28b295
comparison
equal deleted inserted replaced
9897:74814eb19d67 9898:cd6ad88c82fd