From dad0d1947324baf8f4b60d551db651787e1bfc32 Mon Sep 17 00:00:00 2001
From: Noah Watkins <noahwatkins@gmail.com>
Date: Fri, 30 Aug 2024 10:58:34 -0700
Subject: [PATCH] x

Signed-off-by: Noah Watkins <noahwatkins@gmail.com>
---
 tools/p/p | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tools/p/p b/tools/p/p
index f8309f572fb73..5a21fac2727ce 100755
--- a/tools/p/p
+++ b/tools/p/p
@@ -18,5 +18,7 @@ ${docker} build -t ${image} ${this_dir}
 ${docker} run \
   --volume ${PWD}:${PWD}:rw,z \
   --workdir ${PWD} \
+  --rm \
+  --tty \
   ${image} \
   p ${*}