diff options
| author | pants <niklasjo2004@gmail.com> | 2026-09-21 14:16:49 -0700 |
|---|---|---|
| committer | pants <niklasjo2004@gmail.com> | 2026-09-21 14:16:49 -0700 |
| commit | a203dd13618db523d38daca82c608b285bc21c8f (patch) | |
| tree | 4a2cfc861248415d07f7c834557d36224ec00694 /blink/build/gdbinit/py_extensions | |
Diffstat (limited to 'blink/build/gdbinit/py_extensions')
| -rw-r--r-- | blink/build/gdbinit/py_extensions | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/blink/build/gdbinit/py_extensions b/blink/build/gdbinit/py_extensions new file mode 100644 index 0000000..336f995 --- /dev/null +++ b/blink/build/gdbinit/py_extensions @@ -0,0 +1,7 @@ +# Add Python GDB extensions +python +try: + import freertos_gdb +except ModuleNotFoundError: + print('warning: python extension "freertos_gdb" not found.') +end |