update doc for hello-world build.sh

parent 46474b5d
......@@ -40,7 +40,7 @@ The robigalia low-level libraries read in these configuration values at build ti
Now, you should be able to `cd path/to/robigalia/hello-world` and execute:
xargo build --target x86_64-sel4-robigalia
./build.sh --target x86_64-sel4-robigalia
To build the hello-world project.
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