Skip to content

Commit 8c7ee82

Browse files
committed
fix: properly clean up tmp dir after shared build
Building the A/B binaries happens in a tmpdir, which we try to delete at the end. But we create files in the tmpdir from a privileged docker container, so to delete this tmpdir we also need elevated privileges Signed-off-by: Patrick Roy <[email protected]>
1 parent 9455ed0 commit 8c7ee82

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

tools/devtool

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -525,7 +525,7 @@ cmd_build() {
525525
git branch -D $branch_name
526526
mkdir -p build/"$revision"
527527
cp $tmp_dir/build/cargo_target/$(uname -m)-unknown-linux-$libc/$profile/* build/"$revision"
528-
rm -rf $tmp_dir
528+
cmd_sh "rm -rf $tmp_dir"
529529
fi
530530

531531
return $ret

0 commit comments

Comments
 (0)