diff options
author | Oliver Smith <osmith@sysmocom.de> | 2019-04-02 11:05:22 +0200 |
---|---|---|
committer | Oliver Smith <osmith@sysmocom.de> | 2019-04-02 11:38:26 +0200 |
commit | a8be3ff52fb209b7ea319632908bb27373482ceb (patch) | |
tree | 98eb5dc2b8a17fb7b9dacb37885d39a9e852702d /gitolite | |
parent | 7c53c9e60da8f4cdad054d8914ab42a1a25ab7d1 (diff) |
jenkins-common.sh: pull upstream base images
Prevent building docker images on top of outdated Debian images, where
the package download feeds have been disabled. Use 'docker build --pull'
instead of 'docker build', whenever the "FROM" line in the Dockerfile
does not contain '$USER' (meaning this is an upstream image).
Checking the FROM line is necessary, as downloading '$USER' images will
fail (we never upload those).
Related: OS#3869
Change-Id: I1076bbb7d77bdc99f5d60d641c09ce965fb9dfc6
Diffstat (limited to 'gitolite')
0 files changed, 0 insertions, 0 deletions