From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 3283 invoked by alias); 22 Dec 2002 06:16:52 -0000 Mailing-List: contact gdb-patches-help@sources.redhat.com; run by ezmlm Precedence: bulk List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-patches-owner@sources.redhat.com Received: (qmail 3270 invoked from network); 22 Dec 2002 06:16:45 -0000 Received: from unknown (HELO is.elta.co.il) (199.203.121.2) by 209.249.29.67 with SMTP; 22 Dec 2002 06:16:45 -0000 Received: from is (is [199.203.121.2]) by is.elta.co.il (8.9.3/8.8.8) with SMTP id IAA28814; Sun, 22 Dec 2002 08:16:20 +0200 (IST) Date: Sun, 22 Dec 2002 03:03:00 -0000 From: Eli Zaretskii X-Sender: eliz@is To: Mark Kettenis cc: gdb-patches@sources.redhat.com Subject: Re: [PATCH] Add machine type to gdbarch_register_osbi In-Reply-To: <200212211959.gBLJxQde012861@elgar.kettenis.dyndns.org> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-SW-Source: 2002-12/txt/msg00616.txt.bz2 On Sat, 21 Dec 2002, Mark Kettenis wrote: > Last week brought us two new gdbarch_init_osabi calls, so below is > what I actually checked in. Is this function documented in gdbint.texinfo? If so, the docs needs to be updated as well.