This is the mail archive of the
gdb-prs@sourceware.org
mailing list for the GDB project.
[Bug python/13642] add --script command-line option
- From: "tromey at sourceware dot org" <sourceware-bugzilla at sourceware dot org>
- To: gdb-prs at sourceware dot org
- Date: Sat, 15 Sep 2018 07:25:55 +0000
- Subject: [Bug python/13642] add --script command-line option
- Auto-submitted: auto-generated
- References: <bug-13642-4717@http.sourceware.org/bugzilla/>
https://sourceware.org/bugzilla/show_bug.cgi?id=13642
Tom Tromey <tromey at sourceware dot org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |tromey at sourceware dot org
Summary|merge --python command-line |add --script command-line
|option |option
--- Comment #4 from Tom Tromey <tromey at sourceware dot org> ---
Repurposing.
--
You are receiving this mail because:
You are on the CC list for the bug.