diff options
| author | Michael Kuhn <michael.kuhn@informatik.uni-hamburg.de> | 2020-03-20 20:11:42 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-20 12:11:42 -0700 |
| commit | 545fae84075c0cbd54518da7f03e690e708b2861 (patch) | |
| tree | 123f0adee7fc51d6f3b4419a899046c2cb481c18 /etc | |
| parent | 2f8ff722a9767538d3edddacb2bd8ee6acc9d1a5 (diff) | |
| download | spack-545fae84075c0cbd54518da7f03e690e708b2861.tar.gz spack-545fae84075c0cbd54518da7f03e690e708b2861.tar.bz2 spack-545fae84075c0cbd54518da7f03e690e708b2861.tar.xz spack-545fae84075c0cbd54518da7f03e690e708b2861.zip | |
spack checksum: Use package's fetch_options (#15481)
This makes sure that a package's fetch_options are used when fetching
new versions to checksum. This allows working around problems with
slow servers or those requiring a cookie to be set.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions