From 6bfd9cd4b184c6c14f03d33822747a9b275a74d2 Mon Sep 17 00:00:00 2001
From: Takumi Akimoto <81888693+akimon658@users.noreply.github.com>
Date: Sat, 27 Dec 2025 17:27:43 +0900
Subject: [PATCH] Kill background process before exit

---
 docker/gdb-rosetta.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docker/gdb-rosetta.sh b/docker/gdb-rosetta.sh
index e53e88c..423d022 100755
--- a/docker/gdb-rosetta.sh
+++ b/docker/gdb-rosetta.sh
@@ -8,6 +8,8 @@ fi
 
 prog=$1
 ROSETTA_DEBUGSERVER_PORT=1234 $prog < /dev/tty &
+pid=$!
+trap "kill $pid 2>/dev/null" EXIT
 
 gdb \
   -iex "file $prog" \
-- 
2.51.2