Jorge Aparicio 065efc83fb be explicit about the GDB script to use ...

with this change the user doesn't need to set an [auto-load-safe-path]

[auto-load-safe-path]: https://sourceware.org/gdb/onlinedocs/gdb/Auto_002dloading-safe-path.html

2018-08-29 14:26:24 +02:00

..

config

be explicit about the GDB script to use

2018-08-29 14:26:24 +02:00