We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent e7df1b1 commit 1f984e4Copy full SHA for 1f984e4
tools/devtool
@@ -526,6 +526,28 @@ cmd_build() {
526
return $ret
527
}
528
529
+cmd_cargo() {
530
+ # Check prerequisites
531
+ ensure_devctr
532
+ ensure_build_dir
533
+
534
+ workdir="$CTR_FC_ROOT_DIR"
535
536
+ # Run the cargo build process inside the container.
537
+ # We don't need any special privileges for the build phase, so we run the
538
+ # container as the current user/group.
539
+ run_devctr \
540
+ --privileged \
541
+ --workdir "$workdir" \
542
+ -- \
543
+ cargo $@
544
+ ret=$?
545
546
+ # Running as root would have created some root-owned files under the build
547
+ # dir. Let's fix that.
548
+ cmd_fix_perms
549
+}
550
551
function cmd_make_release {
552
ensure_build_dir
553
run_devctr \
0 commit comments