diff --git a/buildconfigs/oak_restricted_kernel_simple_io_init_rd_wrapper_bin.sh b/buildconfigs/oak_restricted_kernel_simple_io_init_rd_wrapper_bin.sh index 6027949e9d..bd1a4aae24 100644 --- a/buildconfigs/oak_restricted_kernel_simple_io_init_rd_wrapper_bin.sh +++ b/buildconfigs/oak_restricted_kernel_simple_io_init_rd_wrapper_bin.sh @@ -7,7 +7,7 @@ export PACKAGE_NAME=oak_restricted_kernel_simple_io_init_rd_wrapper_bin export BUILD_COMMAND=( nix develop - .#rust + .#ci --command just oak_restricted_kernel_wrapper_simple_io_channel