[Bug remote/7264] The "ocd reset" command needs to flush the dcache
tromey at sourceware dot org
sourceware-bugzilla@sourceware.org
Fri Jan 7 20:34:09 GMT 2022
https://sourceware.org/bugzilla/show_bug.cgi?id=7264
Tom Tromey <tromey at sourceware dot org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution|--- |OBSOLETE
CC| |tromey at sourceware dot org
--- Comment #1 from Tom Tromey <tromey at sourceware dot org> ---
Whatever "ocd" was, it's long gone, so I'm closing this PR.
--
You are receiving this mail because:
You are on the CC list for the bug.
More information about the Gdb-prs
mailing list