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