GNOME.org

[PATCH] 646698 Add cmd line option to choose the gdb binary

From: Fabien Parent <parent f gmail com>
To: The mailing list of the Nemiver project <nemiver-list gnome org>
Subject: [PATCH] 646698 Add cmd line option to choose the gdb binary
Date: Wed, 12 Oct 2011 13:30:29 +0200

Hello,

The patch attached to this e-mail fix the bug #646698. [0]

Regards,
Fabien Parent

[0] https://bugzilla.gnome.org/show_bug.cgi?id=646698

Attachment: 0001-646698-Add-cmd-line-option-to-choose-the-gdb-binary.patch
Description: Binary data

Follow-Ups:
- Re: [PATCH] 646698 Add cmd line option to choose the gdb binary
  - From: Dodji Seketeli

[Date Prev][Date Next] [Thread Prev][Thread Next] [Thread Index] [Date Index] [Author Index]