build-env: use HTTPS clone URL

parent 02f6d920
......@@ -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
Set the `RUST_TARGET_PATH` environment variable in your shell configuration
to `path/to/robigalia/sel4-targets`. Make sure you have a recent Rust nightly installed.
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