From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gdb-patches-return-21135-listarch-gdb-patches=sources.redhat.com@sources.redhat.com>
Received: (qmail 26364 invoked by alias); 22 Dec 2002 19:45:08 -0000
Mailing-List: contact gdb-patches-help@sources.redhat.com; run by ezmlm
Precedence: bulk
List-Subscribe: <mailto:gdb-patches-subscribe@sources.redhat.com>
List-Archive: <http://sources.redhat.com/ml/gdb-patches/>
List-Post: <mailto:gdb-patches@sources.redhat.com>
List-Help: <mailto:gdb-patches-help@sources.redhat.com>, <http://sources.redhat.com/ml/#faqs>
Sender: gdb-patches-owner@sources.redhat.com
Received: (qmail 26357 invoked from network); 22 Dec 2002 19:45:06 -0000
Received: from unknown (HELO bilbo.inter.net.il) (192.114.186.18)
  by 209.249.29.67 with SMTP; 22 Dec 2002 19:45:06 -0000
Received: from zaretsky (adsl-ayalon-pc-130-181.inter.net.il [213.8.130.181])
	by bilbo.inter.net.il (Mirapoint Messaging Server MOS 3.2.1-GA)
	with ESMTP id ABA00763;
	Sun, 22 Dec 2002 21:44:43 +0200 (IST)
Date: Sun, 22 Dec 2002 15:27:00 -0000
From: "Eli Zaretskii" <eliz@is.elta.co.il>
To: kettenis@chello.nl
Message-Id: <3405-Sun22Dec2002214251+0200-eliz@is.elta.co.il>
CC: gdb-patches@sources.redhat.com
In-reply-to: <200212221825.gBMIP9hb010989@elgar.kettenis.dyndns.org> (message
	from Mark Kettenis on Sun, 22 Dec 2002 19:25:09 +0100 (CET))
Subject: Re: [PATCH] Add machine type to gdbarch_register_osbi
Reply-to: Eli Zaretskii <eliz@is.elta.co.il>
References: <Pine.SUN.3.91.1021222081545.28392H-100000@is> <200212221825.gBMIP9hb010989@elgar.kettenis.dyndns.org>
X-SW-Source: 2002-12/txt/msg00623.txt.bz2

> Date: Sun, 22 Dec 2002 19:25:09 +0100 (CET)
> From: Mark Kettenis <kettenis@chello.nl>
> 
>    Is this function documented in gdbint.texinfo?  If so, the docs needs to 
>    be updated as well.
> 
> How about the attached patch?

Perfect, thanks.