James E. Blair 3fa0c21024 Docker: use the buildset registry if defined
If the docker build jobs see that a buildset_registry is defined
(i.e., they are running in a job graph where an earlier job ran
a buildset registry) automatically use that registry.

Change-Id: Ied7730b793a02204921a2e76f8474fcce534ac77
2019-03-07 13:04:22 -08:00
..
2018-07-19 13:29:05 +10:00
2018-10-11 21:45:00 -04:00