186
edits
(→Installing the needed packages: Add sudo) |
(→Using the docker images: mention 'sudo' (for some systems) here too) |
||
Line 223: | Line 223: | ||
<syntaxhighlight lang="bash"> | <syntaxhighlight lang="bash"> | ||
# Note: on some systems, it may be necessary to prefix | |||
# the following command with 'sudo' | |||
./devtools/docker.sh <toolchain> | ./devtools/docker.sh <toolchain> | ||
</syntaxhighlight> | </syntaxhighlight> |
edits