Skip to content

Commit a2463d2

Browse files
ShadowCurseroypat
authored andcommitted
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. (cherry picked from commit e3088af) Signed-off-by: Egor Lazarchuk <yegorlz@amazon.co.uk> Signed-off-by: Patrick Roy <roypat@amazon.co.uk>
1 parent 8fc9dde commit a2463d2

File tree

1 file changed

+5
-1
lines changed

1 file changed

+5
-1
lines changed

tools/devtool

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -510,13 +510,17 @@ cmd_build() {
510510
# We don't need any special privileges for the build phase, so we run the
511511
# container as the current user/group.
512512
run_devctr \
513-
--user "$(id -u):$(id -g)" \
513+
--privileged \
514514
--workdir "$workdir" \
515515
${extra_args} \
516516
-- \
517517
./tools/release.sh --libc $libc --profile $profile
518518
ret=$?
519519

520+
# Running as root would have created some root-owned files under the build
521+
# dir. Let's fix that.
522+
cmd_fix_perms
523+
520524
if [ ! -z "$revision" ]; then
521525
popd
522526
git branch -D $branch_name

0 commit comments

Comments
 (0)