From 791e2c9dcd0fc555584eab0deecbba9fe191d250 Mon Sep 17 00:00:00 2001
From: Egor Lazarchuk <yegorlz@amazon.co.uk>
Date: Thu, 28 Nov 2024 10:57:39 +0000
Subject: [PATCH] chore(devtool): run cmd_build in privileged container

This is needed for CI to install previous version of the
toolchain used on the main branch. This change will need
to be reverted after this PR is merged.

Signed-off-by: Egor Lazarchuk <yegorlz@amazon.co.uk>
---
 tools/devtool | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/tools/devtool b/tools/devtool
index 85e1145587f..f1a944aad03 100755
--- a/tools/devtool
+++ b/tools/devtool
@@ -510,13 +510,17 @@ cmd_build() {
     # We don't need any special privileges for the build phase, so we run the
     # container as the current user/group.
     run_devctr \
-        --user "$(id -u):$(id -g)" \
+        --privileged \
         --workdir "$workdir" \
         ${extra_args} \
         -- \
         ./tools/release.sh --libc $libc --profile $profile
     ret=$?
 
+    # Running as root would have created some root-owned files under the build
+    # dir. Let's fix that.
+    cmd_fix_perms
+
     if [ ! -z "$revision" ]; then
       popd
       git branch -D $branch_name