From mboxrd@z Thu Jan  1 00:00:00 1970
From: rodrigc@gcc.gnu.org
To: gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org, niki.hammler@web.de, nobody@gcc.gnu.org, rodrigc@gcc.gnu.org
Subject: Re: c++/4255: gcc: Output pipe has been closed
Date: Fri, 07 Sep 2001 20:22:00 -0000
Message-id: <20010908032232.20804.qmail@sourceware.cygnus.com>
X-SW-Source: 2001-09/msg00155.html
List-Id: <gcc-prs.sourceware.org>

Synopsis: gcc: Output pipe has been closed

State-Changed-From-To: open->feedback
State-Changed-By: rodrigc
State-Changed-When: Fri Sep  7 20:22:32 2001
State-Changed-Why:
    You did not provide enough information in your bug report.
    Please follow the instructions at:
    http://gcc.gnu.org/bugs.html
    
    and provide preprocessed source.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=4255&database=gcc