
29 Aug
2010
29 Aug
'10
midnight
Raymond Toy <toy.raymond@gmail.com> writes:
I noticed that gdb-exec has this:
(ext:run-program "gdb" ...)
Should "gdb" be replaced by *gdb-program-name*? I suppose it's ok if gdb and *gdb-program-name* are the same but they might be different since *gdb-program-name* is currently hardwired to /usr/bin/gdb.
I changed it to *gdb-program-name*. -- With Best Regards, Stas.