From b257eb0a05d3d45a64f5d9c02b397a5acdfbe7eb Mon Sep 17 00:00:00 2001
From: Daniel Micay <danielmicay@gmail.com>
Date: Wed, 11 Nov 2020 18:34:59 -0500
Subject: [PATCH] add --with_tags to gclient sync command

---
 static/build.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/static/build.html b/static/build.html
index 6a22d5f5..96ff2d38 100644
--- a/static/build.html
+++ b/static/build.html
@@ -756,7 +756,7 @@ git checkout $CORRECT_BRANCH_OR_TAG</pre>
             <p>Sync to the latest stable release for Android (replace $VERSION with the correct
             value):</p>
 
-            <pre>gclient sync -D --with_branch_heads -r $VERSION --jobs 32</pre>
+            <pre>gclient sync -D --with_branch_heads --with_tags -r $VERSION --jobs 32</pre>
 
             <p>Generate a signing key for Vanadium if this is the initial build:</p>