diff options
| author | Daniel Micay <danielmicay@gmail.com> | 2019-08-05 09:20:49 -0400 |
|---|---|---|
| committer | Daniel Micay <danielmicay@gmail.com> | 2019-08-05 09:20:49 -0400 |
| commit | 5474dd493fef782102eacb73f02d4cb0bf965c07 (patch) | |
| tree | 116144e8f3c19a0f963225908bc6d025c78b2ca1 | |
| parent | 7e33d2dd0c9e260c1d42a34195aee76f551aed13 (diff) | |
clarifications for Vanadium build instructions
| -rw-r--r-- | static/build.html | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/static/build.html b/static/build.html index 7cccbf7d..9a8a8936 100644 --- a/static/build.html +++ b/static/build.html @@ -206,10 +206,12 @@ cd ../..</pre> <p>You can obtain the proper configuration from the <a href="https://github.com/GrapheneOS/Vanadium"> - GrapheneOS Vanadium repository</a> in <code>args.gn</code> the correct version.</p> + GrapheneOS Vanadium repository</a> in <code>args.gn</code> including the correct + version.</p> <pre>git clone https://github.com/GrapheneOS/Vanadium.git -cd Vanadium</pre> +cd Vanadium +git checkout $CORRECT_BRANCH_OR_TAG</pre> <p>Fetch the Chromium sources:</p> |