From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 9461 invoked by alias); 21 Nov 2002 04:37:25 -0000 Mailing-List: contact gdb-help@sources.redhat.com; run by ezmlm Precedence: bulk List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-owner@sources.redhat.com Received: (qmail 9321 invoked from network); 21 Nov 2002 04:37:23 -0000 Received: from unknown (HELO localhost.redhat.com) (24.112.240.27) by sources.redhat.com with SMTP; 21 Nov 2002 04:37:23 -0000 Received: from redhat.com (localhost [127.0.0.1]) by localhost.redhat.com (Postfix) with ESMTP id 86B503E4B; Wed, 20 Nov 2002 23:37:11 -0500 (EST) Message-ID: <3DDC62F7.9040508@redhat.com> Date: Wed, 20 Nov 2002 20:37:00 -0000 From: Andrew Cagney User-Agent: Mozilla/5.0 (X11; U; NetBSD macppc; en-US; rv:1.0.0) Gecko/20020824 X-Accept-Language: en-us, en MIME-Version: 1.0 To: bemis Cc: "gdb@sources.redhat.com" , clp Subject: Re: dejagnu References: <3DDBEF02.A19FF34D@iol.unh.edu> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-SW-Source: 2002-11/txt/msg00299.txt.bz2 > where does gdb get dejagnu? > I have recently placed an xml patch in dejagnu, and I am not seeing it > when I do a toolchain build. > -matt bemis As a convenience, the GDB repository also includes a version of dejagnu. However, if you only check out the `gdb' module (instead of the gdb+dejagnu module) or even simply rename the dejagnu directory, the installed version with the xml patches will be used. Someone might even do a re-sync. Andrew