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