From: Oto Šťáva <oto.stava@nic.cz>
Date: Mon, 8 Aug 2022 07:34:02 +0000 (+0200)
Subject: ci/images/README: clarify usage of build.sh for Coverity Scan
X-Git-Tag: v5.5.2~5^2
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8ce5889eb82bb75c2aa512ef23f38a145740b51a;p=thirdparty%2Fknot-resolver.git

ci/images/README: clarify usage of build.sh for Coverity Scan
---

diff --git a/ci/images/README.md b/ci/images/README.md
index 531c70c58..0224960d0 100644
--- a/ci/images/README.md
+++ b/ci/images/README.md
@@ -15,6 +15,14 @@ inputs for [Coverity Scan](https://scan.coverity.com/).
 It is used by the `coverity` CI job to generate and send data to Coverity Scan
 for analysis.
 
+To build this image, you need to retrieve the Coverity Scan token from the
+dashboard and pass it to the `build.sh` script using the `COVERITY_SCAN_TOKEN`
+environment variable, e.g.:
+
+```
+$ COVERITY_SCAN_TOKEN=the_secret_token ./build.sh debian-11-coverity
+```
+
 ### debian-bullseye
 
 Used to serve the same purpose as `debian-11`. As of 2022-03-09, it is still