From 33a54b0fe6e13ed2960803fed464c200ac44a98a Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Sun, 11 Mar 2018 14:35:34 +0100
Subject: [PATCH] small fix

---
 gdb.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gdb.py b/gdb.py
index e146aa3..b6d90b4 100644
--- a/gdb.py
+++ b/gdb.py
@@ -261,7 +261,7 @@ def posted_event_init():
                 print("%s Total time: %s" % (obj, tot_time))
             else:
                 print("%s" % (obj))
-        # comment out to prevent gdb from finishing, useful to debugging
+        # comment out to prevent gdb from quit on finish, useful to debugging
         gdb.execute("quit")
 
 
-- 
GitLab