[PATCH v2 02/13] script language API for GDB: extension.[ch]
Tom Tromey
tromey@redhat.com
Tue Jan 14 19:17:00 GMT 2014
>>>>> "Ludovic" == Ludovic Courtès <ludo@gnu.org> writes:
Ludovic> I guess this is another limitation of Guile’s current signal handling
Ludovic> strategy, and something we should fix.
FWIW I think it would be sufficient for gdb if scm_system_async_mark, or
something like it, could be invoked from a signal handler. Then a
SIGINT in gdb could install an async callback that later checks gdb's
quit flag.
Tom
More information about the Gdb-patches
mailing list