diff --git a/README.md b/README.md index d1dc2d1..572c54d 100644 --- a/README.md +++ b/README.md @@ -98,11 +98,22 @@ host% repo sync ## Build docker images + +Prune the Docker caches before proceeding with building the image: + +
+host% docker image prune -a +host% docker builder prune -a ++ +Build the image: +
host% make docker## Prepopulate build cache +
host% make build_cache