diff make-dist @ 1270:db6ef357ba3e

(os handling): Recognize `linux' as a valid os.
author Roland McGrath <roland@gnu.org>
date Tue, 29 Sep 1992 22:19:48 +0000
parents 1dba066c1e0a
children 313f56268d18
line wrap: on
line diff