diff options
| author |   Jack Lucas <jflucas@research.att.com> | 2019-07-24 17:45:01 -0400 |
|---|---|---|
| committer | Jack Lucas <jflucas@research.att.com> | 2019-07-24 18:53:03 -0400 |
| commit | ffb4c7176c449c96a4bdbb43aa5a0c86e0aafdd4 (patch) | |
| tree | e220469831d4c447707e439f8ef5109943965705 /settings.xml | |
| parent | 567e399803a759e40c6a7d378bb517da4c5cd556 (diff) | |
Fix bad types file download
Use the curl -L option to follow redirects
and the -f option to cause curl to fail
(and stop the Docker image build) if it
does not successfully retrieve a file
Issue-ID: DCAEGEN2-1685
Change-Id: If8fd872e036ed5bc48656f8ca6853c297c6ac135
Signed-off-by: Jack Lucas <jflucas@research.att.com>
Diffstat (limited to 'settings.xml')
0 files changed, 0 insertions, 0 deletions