- Create a file at
pintos/gdb-c
with one line as the content:
gdb -x /pintos/src/misc/gdb-macros $@
- In the pintos shell, make the new file executable:
$ chmod +x /pintos/gdb-c
- Modify
.vscode/launch.json
to use the new executable instead of gdb:
...
"configurations": [
{
...
"gdbpath": "/pintos/gdb-c", <<< Add this line
...
}
...
References:
Bug in the VSCode extension: WebFreak001/code-debug#206