From owner-freebsd-bugs  Fri Aug  9 13:30:07 1996
Return-Path: owner-bugs
Received: (from root@localhost)
          by freefall.freebsd.org (8.7.5/8.7.3) id NAA03114
          for bugs-outgoing; Fri, 9 Aug 1996 13:30:07 -0700 (PDT)
Received: (from gnats@localhost)
          by freefall.freebsd.org (8.7.5/8.7.3) id NAA03104;
          Fri, 9 Aug 1996 13:30:05 -0700 (PDT)
Date: Fri, 9 Aug 1996 13:30:05 -0700 (PDT)
Message-Id: <199608092030.NAA03104@freefall.freebsd.org>
To: freebsd-bugs
Cc: 
From: J Wunsch <j@uriah.heep.sax.de>
Subject: Re: bin/1485: makeinfo randomly gets aborted by signal 11
Reply-To: J Wunsch <j@uriah.heep.sax.de>
Sender: owner-bugs@FreeBSD.ORG
X-Loop: FreeBSD.org
Precedence: bulk

The following reply was made to PR bin/1485; it has been noted by GNATS.

From: J Wunsch <j@uriah.heep.sax.de>
To: root@maxinquaye.lava.de
Cc: FreeBSD-gnats-submit@freebsd.org
Subject: Re: bin/1485: makeinfo randomly gets aborted by signal 11
Date: Fri, 9 Aug 1996 20:33:51 +0200 (MET DST)

 As root@maxinquaye.lava.de wrote:
 
 > >Description:
 > 
 > While doing a make world the makeinfo utility randomly exits with
 > signal 11.
 > 
 > >How-To-Repeat:
 > 
 > cd /usr/src; make world
 
 Not for me, not for many other people (obviously).
 
 > >Fix:
 > 	
 > No idea.
 
 Upgrade?  Bad hardware?
 
 -- 
 cheers, J"org
 
 joerg_wunsch@uriah.heep.sax.de -- http://www.sax.de/~joerg/ -- NIC: JW11-RIPE
 Never trust an operating system you don't have sources for. ;-)