diff options
| -rw-r--r-- | static/build.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/static/build.html b/static/build.html index 269cd2e1..30520e45 100644 --- a/static/build.html +++ b/static/build.html @@ -226,8 +226,8 @@ repo init -u https://github.com/GrapheneOS/platform_manifest.git -b 10 repo sync -j32</pre> <p>If your network is unreliable and <code>repo sync</code> fails, you can run the - <code>repo sync</code> command again as many times as needed for it to fully - succeed.</p> + <code>repo sync</code> command again to continue from where it was interrupted. It + handles connection failures robustly and you shouldn't start over from scratch.</p> <h2 id="stable-release"> <a href="#stable-release">Stable release</a> |