Forked from
Gaudi / Gaudi
6352 commits behind the upstream repository.
Marco Clemencic
authored
hook for gdb
add hook and command line option ("--gdb") to start up gdb and attach it to currently running process.
See GAUDI-1056
See merge request !8