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
If your network is unreliable and repo sync
fails, you can run the
- repo sync
command again as many times as needed for it to fully
- succeed.
repo sync
command again to continue from where it was interrupted. It
+ handles connection failures robustly and you shouldn't start over from scratch.