From 6decd84f6e18bdab1f90d6b29deb557561831721 Mon Sep 17 00:00:00 2001 From: Max Moroz Date: Mon, 23 Jul 2018 08:02:28 -0700 Subject: [PATCH] [docs] Add pull_images command to the code coverage documentation page. (#1644) --- docs/code_coverage.md | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/docs/code_coverage.md b/docs/code_coverage.md index 232f07f7b..9560c3b2e 100644 --- a/docs/code_coverage.md +++ b/docs/code_coverage.md @@ -4,6 +4,18 @@ You can generate code coverage report for your project using [Clang Source-based Code Coverage]. +## Pull the latest Docker images + +Docker images get regularly updated with a newer version of build tools, build +configurations, scripts, and other changes. It is recommended to use the most +recent images for a better user experience. + + +```bash +python infra/helper.py pull_images +``` + + ## Build fuzz targets Code Coverage report generation requires a special build configuration to be