diff options
| -rw-r--r-- | tools/gdb/python/classic.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/gdb/python/classic.py b/tools/gdb/python/classic.py index 29ffab5..b919383 100644 --- a/tools/gdb/python/classic.py +++ b/tools/gdb/python/classic.py @@ -251,3 +251,4 @@ class barrier: print ' Waiting:',self.core_b_control.waiting_threads() helper.tasks_printer_routine(self.core_b_control.tasks()) + |