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" \