From 4ef05b8c290bafc995c638ab670effc959f267a9 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 | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/tools/devtool b/tools/devtool
index 85e1145587f..f374ea94d2d 100755
--- a/tools/devtool
+++ b/tools/devtool
@@ -510,6 +510,7 @@ 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 \
+        --privileged \
         --user "$(id -u):$(id -g)" \
         --workdir "$workdir" \
         ${extra_args} \
@@ -517,6 +518,10 @@ cmd_build() {
         ./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