From 3fb90d690a7d0d539211be50ab4fdd78713f318c 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