diff make-dist @ 10334:ff83a47099bc

Recognize BSD/OS as bsdi. Patch from Chris Torek <torek@BSDI.COM>.
author Per Bothner <bothner@cygnus.com>
date Wed, 04 Jan 1995 20:54:24 +0000
parents 9b43de28b295
children 6eb8397f165b
line wrap: on
line diff