diff make-dist @ 3006:7126575622da

* configure.in: Distinguish between hp800's and hp700's by calling "uname -m". * configure.in: Distinguish between hp800's and hp700's by calling "uname -m".
author Jim Blandy <jimb@redhat.com>
date Mon, 24 May 1993 05:06:15 +0000
parents 3004f1336225
children 9f168990e613
line wrap: on
line diff