From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 18796 invoked by alias); 6 May 2003 14:26:01 -0000 Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-prs-owner@gcc.gnu.org Received: (qmail 18780 invoked by uid 71); 6 May 2003 14:26:01 -0000 Date: Tue, 06 May 2003 14:26:00 -0000 Message-ID: <20030506142601.18779.qmail@sources.redhat.com> To: nobody@gcc.gnu.org Cc: gcc-prs@gcc.gnu.org, From: Andrew Pinski Subject: Re: other/10628: core file not generated Reply-To: Andrew Pinski X-SW-Source: 2003-05/txt/msg00380.txt.bz2 List-Id: The following reply was made to PR other/10628; it has been noted by GNATS. From: Andrew Pinski To: bangerth@dealii.org, gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org, khan_sanjay@operamail.com, nobody@gcc.gnu.org, gcc-gnats@gcc.gnu.org Cc: Andrew Pinski Subject: Re: other/10628: core file not generated Date: Tue, 6 May 2003 10:20:09 -0400 3.4 has an option -dH. Thanks, Andrew Pinski On Tuesday, May 6, 2003, at 10:09 US/Eastern, bangerth@dealii.org wrote: > Synopsis: core file not generated > > State-Changed-From-To: closed->open > State-Changed-By: bangerth > State-Changed-When: Tue May 6 14:09:44 2003 > State-Changed-Why: > Due to Christian's message. I was not aware of this. > > http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit- > trail&database=gcc&pr=10628 > >