This is the mail archive of the gdb-patches@sources.redhat.com mailing list for the GDB project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: [PATCH] Add machine type to gdbarch_register_osbi

From: "Eli Zaretskii" <eliz at is dot elta dot co dot il>
To: kettenis at chello dot nl
Cc: gdb-patches at sources dot redhat dot com
Date: Sun, 22 Dec 2002 21:42:52 +0300
Subject: Re: [PATCH] Add machine type to gdbarch_register_osbi
References: <Pine.SUN.3.91.1021222081545.28392H-100000@is> <200212221825.gBMIP9hb010989@elgar.kettenis.dyndns.org>
Reply-to: Eli Zaretskii <eliz at is dot elta dot co dot il>

> 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.

Follow-Ups:
- Re: [PATCH] Add machine type to gdbarch_register_osbi
  - From: Mark Kettenis

References:
- Re: [PATCH] Add machine type to gdbarch_register_osbi
  - From: Eli Zaretskii
- Re: [PATCH] Add machine type to gdbarch_register_osbi
  - From: Mark Kettenis

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]