From 242265b8ae76044b4fa52c330e7bdda5f81b58c5 Mon Sep 17 00:00:00 2001
From: Kyle Huey <khuey@kylehuey.com>
Date: Thu, 28 Mar 2024 18:53:55 -0700
Subject: [PATCH] Add COMMAND_USER to gdb script emulation.

---
 scripts/rr-gdb-script-host.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/scripts/rr-gdb-script-host.py b/scripts/rr-gdb-script-host.py
index 22a9647452d..ff7e2ad40de 100755
--- a/scripts/rr-gdb-script-host.py
+++ b/scripts/rr-gdb-script-host.py
@@ -26,6 +26,8 @@ class GdbScriptHost:
 
     new_objfile_events: List[GdbNewObjfileEventCallback] = []
 
+    COMMAND_USER: int = 13
+
     def __init__(self, *args, **kwargs):
         self._filename = args[0]