diff options
| author | Nick Barnes <nick@tarides.com> | 2023-04-17 14:13:13 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-17 15:13:13 +0200 |
| commit | 05c9e82202f03108aaaee4dfd81b56f8fd30987d (patch) | |
| tree | 2a31a1fcec2cb2c2c23f5a371d9f0408d0d9790b /tools/gdb_ocamlrun.py | |
| parent | 3dacc75a81e7af3587bd67e7ec36c4c883ab47db (diff) | |
| download | ocaml-05c9e82202f03108aaaee4dfd81b56f8fd30987d.tar.gz | |
Update GDB scripts to work with OCaml 5 (#12179)
Update gdb-macros and gdb_ocamlrun.py to work with OCaml 5.
Diffstat (limited to 'tools/gdb_ocamlrun.py')
| -rw-r--r-- | tools/gdb_ocamlrun.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/gdb_ocamlrun.py b/tools/gdb_ocamlrun.py index 12f438bfb7..d01deddd08 100644 --- a/tools/gdb_ocamlrun.py +++ b/tools/gdb_ocamlrun.py @@ -127,7 +127,7 @@ class BlockPrinter: else: s = 'wosize=%d' % self.length - markbits = gdb.lookup_symbol("global")[0].value() + markbits = gdb.lookup_symbol("caml_global_heap_state")[0].value() gc = { int(markbits['MARKED']): 'MARKED', int(markbits['UNMARKED']): 'UNMARKED', |