summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDaniel Micay <danielmicay@gmail.com>2019-06-13 12:40:56 -0400
committerDaniel Micay <danielmicay@gmail.com>2019-06-13 13:51:22 -0400
commit98dc676d8a8b49b1d9c12367494ddb51df75abce (patch)
tree8e877f9b4da58b4060bee75e93dd072d27b840dd
parent60902ba216989cf16cbb24398c60024918820eb3 (diff)
build: pie-b4s4 for bonito and sargo
-rw-r--r--static/build.html9
1 files changed, 8 insertions, 1 deletions
diff --git a/static/build.html b/static/build.html
index 8a8889ed..a0a585f1 100644
--- a/static/build.html
+++ b/static/build.html
@@ -68,13 +68,20 @@
<a href="#development-branch">Development branch</a>
</h2>
- <p>The pie branch is currently used for all supported devices:</p>
+ <p>The pie branch is currently used for all devices other than the Pixel 3a and Pixel 3a XL:</p>
<pre>mkdir grapheneos-pie
cd grapheneos-pie
repo init -u https://github.com/GrapheneOS/platform_manifest.git -b pie
repo sync -j32</pre>
+ <p>The pie-b4s4 branch is currently used for the Pixel 3a and Pixel 3a XL since these were introduced after the current pie maintenance release:</p>
+
+ <pre>mkdir grapheneos-pie-b4s4
+cd grapheneos-pie-b4s4
+repo init -u https://github.com/GrapheneOS/platform_manifest.git -b pie-b4s4
+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>