Skip to content
Snippets Groups Projects
Commit 5f7f60e8 authored by Marco Clemencic's avatar Marco Clemencic
Browse files

Merge branch 'dev/gdb_hook' into 'master' 

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
parents e7c17792 7ee75804
Branches
Tags
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment