[target-remote] Comment the code added by the PR

Fix for #1020 (comment)
hugsy · Dec 7, 2023 · 33d927e · 33d927e
1 parent 558b712
commit 33d927e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/gef.py b/gef.py
@@ -11229,6 +11229,7 @@ def target_remote_posthook():
     gdb.execute(f"define target hook-remote\n{hook}\nend")
     gdb.execute(f"define target hook-extended-remote\n{hook}\nend")
 
+    # Register a post-hook for `target remote` that initialize the remote session
     gdb.execute("""
         define target hookpost-remote
         pi target_remote_posthook()