From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 1657 invoked by alias); 24 Oct 2007 22:10:14 -0000 Received: (qmail 1647 invoked by uid 22791); 24 Oct 2007 22:10:14 -0000 X-Spam-Check-By: sourceware.org Received: from rock.gnat.com (HELO rock.gnat.com) (205.232.38.15) by sourceware.org (qpsmtpd/0.31) with ESMTP; Wed, 24 Oct 2007 22:10:12 +0000 Received: from localhost (localhost.localdomain [127.0.0.1]) by filtered-rock.gnat.com (Postfix) with ESMTP id 00A712AB0AE; Wed, 24 Oct 2007 18:10:11 -0400 (EDT) Received: from rock.gnat.com ([127.0.0.1]) by localhost (rock.gnat.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP id 74pIrGQ0NYlc; Wed, 24 Oct 2007 18:10:10 -0400 (EDT) Received: from joel.gnat.com (localhost.localdomain [127.0.0.1]) by rock.gnat.com (Postfix) with ESMTP id C3B462AB0B0; Wed, 24 Oct 2007 18:10:10 -0400 (EDT) Received: by joel.gnat.com (Postfix, from userid 1000) id 931A4E7AC8; Wed, 24 Oct 2007 15:10:08 -0700 (PDT) Date: Wed, 24 Oct 2007 22:10:00 -0000 From: Joel Brobecker To: Michael Snyder Cc: gdb@sourceware.org, Nicolas Bonifas Subject: Re: Should we install gcore.sh (and a gcore.1 man page)? Message-ID: <20071024221008.GM11797@adacore.com> References: <1193262980.16917.16.camel@localhost.localdomain> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <1193262980.16917.16.camel@localhost.localdomain> User-Agent: Mutt/1.4.2.2i Mailing-List: contact gdb-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-owner@sourceware.org X-SW-Source: 2007-10/txt/msg00215.txt.bz2 > Should we? Should we go ahead and put it into $/bin? > In which case we might want to accept the contributed man page > and install that as well? I think it's a useful script to install. My only concern is that not all configurations support the gcore command... -- Joel