Skip to content

Commit e3088af

Browse files
committed
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> Signed-off-by: Patrick Roy <roypat@amazon.co.uk>
1 parent c5e5794 commit e3088af

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
@@ -509,13 +509,17 @@ cmd_build() {
509509
# We don't need any special privileges for the build phase, so we run the
510510
# container as the current user/group.
511511
run_devctr \
512-
--user "$(id -u):$(id -g)" \
512+
--privileged \
513513
--workdir "$workdir" \
514514
${extra_args} \
515515
-- \
516516
./tools/release.sh --libc $libc --profile $profile
517517
ret=$?
518518

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

0 commit comments

Comments
 (0)