Suggest Docker cache cleaning

Signed-off-by: Hannu Lyytinen <[email protected]>
tiiuae · Jul 13, 2023 · 634151a · 634151a
1 parent 923b455
commit 634151a
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -98,11 +98,22 @@ host% <b>repo sync</b>
 </pre>
 
 ## Build docker images
+
+Prune the Docker caches before proceeding with building the image:
+
+<pre>
+host% <b>docker image prune -a</b>
+host% <b>docker builder prune -a</b>
+</pre>
+
+Build the image:
+
 <pre>
 host% <b>make docker</b>
 </pre>
 
 ## Prepopulate build cache
+
 <pre>
 host% <b>make build_cache</b>
 </pre>