Commit 5ac92d38 by Corey Richardson

Update submodules from remote

parent 6d1d6f00
Pipeline #8386485 passed with stages
in 2 minutes 23 seconds
......@@ -4,7 +4,7 @@ Setting up a build environment
Setting up a build environment for Robigalia is easy! First, clone the "devbox" repository:
git clone --recursive robigalia
git clone --recursive robigalia && cd robigalia && git submodule update --init --remote
Set the `RUST_TARGET_PATH` environment variable in your shell configuration to
`path/to/robigalia/sel4-targets`. Be sure to either source the new
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment