From 98dc676d8a8b49b1d9c12367494ddb51df75abce Mon Sep 17 00:00:00 2001
From: Daniel Micay <danielmicay@gmail.com>
Date: Thu, 13 Jun 2019 12:40:56 -0400
Subject: [PATCH] build: pie-b4s4 for bonito and sargo

---
 static/build.html | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/static/build.html b/static/build.html
index 8a8889ed..a0a585f1 100644
--- a/static/build.html
+++ b/static/build.html
@@ -68,11 +68,18 @@
                 <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