diff options
Diffstat (limited to 'static')
| -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 02bc7bbe..68a99308 100644 --- a/static/build.html +++ b/static/build.html @@ -52,7 +52,7 @@ cd grapheneos-pie repo init -u https://github.com/GrapheneOS/platform_manifest.git -b pie repo sync -j32</pre> - </p>If your network is unreliable and <code>repo sync</code> fails, you can run the + <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> @@ -179,7 +179,7 @@ git am ../chromium_patches/*.patch</pre> <p>For a development build, you may want to replace <code>user</code> with <code>userdebug</code> in order to have better debugging support. Production builds should be <code>user</code> builds as they are significantly more secure and don't - make additional performance sacrifices to improve debugging.</pre> + make additional performance sacrifices to improve debugging.</p> <h2>Reproducible builds</h2> |