Manage the list of image tags in Docker build script.
commit3ba43a734f7d833b9838e8e4031af47cc7acf085
authorM. Eric Irrgang <ericirrgang@gmail.com>
Fri, 6 Mar 2020 11:03:29 +0000 (6 14:03 +0300)
committerEric Irrgang <ericirrgang@gmail.com>
Sat, 7 Mar 2020 15:34:09 +0000 (7 16:34 +0100)
tree7faa8fed46fcafb6fc1c3f1fe624652fbbc798d1
parentb514b684574cdd314a0649a27c5709e3426e5162
Manage the list of image tags in Docker build script.

Supports flexibility in future handling of built images.

Refs #3395

Change-Id: I207911f190a57cbc4671777b5b92827aa6d3904a
admin/dockerfiles/buildall.sh