From 8c7ee82f9d603faa6776671024ca7258c8e28d19 Mon Sep 17 00:00:00 2001
From: Patrick Roy <roypat@amazon.co.uk>
Date: Wed, 11 Dec 2024 16:08:50 +0000
Subject: [PATCH] fix: properly clean up tmp dir after shared build

Building the A/B binaries happens in a tmpdir, which we try to delete at
the end. But we create files in the tmpdir from a privileged docker
container, so to delete this tmpdir we also need elevated privileges

Signed-off-by: Patrick Roy <roypat@amazon.co.uk>
---
 tools/devtool | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/devtool b/tools/devtool
index 3b4d89ec392..7d41229b2e7 100755
--- a/tools/devtool
+++ b/tools/devtool
@@ -525,7 +525,7 @@ cmd_build() {
       git branch -D $branch_name
       mkdir -p build/"$revision"
       cp $tmp_dir/build/cargo_target/$(uname -m)-unknown-linux-$libc/$profile/* build/"$revision"
-      rm -rf $tmp_dir
+      cmd_sh "rm -rf $tmp_dir"
     fi
 
     return $ret