devtools: introduce ./hacking/gdb.sh and improve ./hacking/devshell.sh

This commit is contained in:
2017-01-19 19:34:56 +01:00
parent 65cdad4317
commit 5952f36a44

Submodule hacking updated: 8649dcc9b6...7be0dbfbed