From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 8767 invoked by alias); 24 Oct 2007 22:24:17 -0000 Received: (qmail 8758 invoked by uid 22791); 24 Oct 2007 22:24:17 -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:24:13 +0000 Received: from localhost (localhost.localdomain [127.0.0.1]) by filtered-rock.gnat.com (Postfix) with ESMTP id 252892AB020; Wed, 24 Oct 2007 18:24:12 -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 ZEsmh-ZvRvm9; Wed, 24 Oct 2007 18:24:12 -0400 (EDT) Received: from joel.gnat.com (localhost.localdomain [127.0.0.1]) by rock.gnat.com (Postfix) with ESMTP id DE5902AB016; Wed, 24 Oct 2007 18:24:11 -0400 (EDT) Received: by joel.gnat.com (Postfix, from userid 1000) id D1ADFE7AC8; Wed, 24 Oct 2007 15:24:09 -0700 (PDT) Date: Wed, 24 Oct 2007 22:24: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: <20071024222409.GN11797@adacore.com> References: <1193262980.16917.16.camel@localhost.localdomain> <20071024221008.GM11797@adacore.com> <1193263756.16917.26.camel@localhost.localdomain> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <1193263756.16917.26.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/msg00217.txt.bz2 > > I think it's a useful script to install. My only concern is that > > not all configurations support the gcore command... > > Configure? Or maybe check the contents of DEPFILES? If it contains gcore.o, then install the script, otherwise we don't. -- Joel