Avi Kivity 4e6f543676 tools: toolchain: use "docker build --pull" in instructions for building an image ...

Specify --pull in order to refresh the base image (some Fedora release).
Usually this is not important, because we run `dnf update`. But if the
cached image happens to be a pre-release version of Fedora, the image
will have the update-testing repository enabled, and we may get some
unwanted updates.

It's sad that we need two separate flags for correctness (the other
is --no-cache.
Message-Id: <20200405164227.8210-1-avi@scylladb.com>

2020-04-05 19:48:25 +03:00

..

scyllatop

scyllatop: livedata, metric: expire absent metrics

2019-09-15 19:48:09 +03:00

toolchain

tools: toolchain: use "docker build --pull" in instructions for building an image

2020-04-05 19:48:25 +03:00