diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-12-03 16:12:09 +0000 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-12-03 16:15:39 +0000 |
commit | c53e71a29fcd66ad7956060088230173b7dfba17 (patch) | |
tree | 35de4d568d183caeb66c1da4977b3f96a9619135 /reproduce/src/make/download.mk | |
parent | cbd448bb7412e147fc1c22406c458c71954535cb (diff) |
Trusted CA certificates also downloaded for Wget usage
To enable easy downloading of HTTPS links with Wget (this pipeline's defaut
downloader), we need a set of trusted CA certificates. Until the time that
we can generate one ourselves, one generic set of trusted CA certificates
is now downloaded like a tarball and placed in the OpenSSL configuration
directory.
With these CA certificates, within the pipeline we can now safely use the
pipeline's own installed Wget.
Diffstat (limited to 'reproduce/src/make/download.mk')
-rw-r--r-- | reproduce/src/make/download.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/reproduce/src/make/download.mk b/reproduce/src/make/download.mk index 37789e2..260fd0c 100644 --- a/reproduce/src/make/download.mk +++ b/reproduce/src/make/download.mk @@ -68,7 +68,7 @@ $(inputdatasets): $(indir)/%.fits: | $(indir) $(lockdir) ln -s $(INDIR)/$$origname $@ else touch $(lockdir)/download - flock $(lockdir)/download $(DOWNLOADER) $@ $$url/$$origname + flock $(lockdir)/download wget -O$@ $$url/$$origname fi # Check the md5 sum to see if this is the proper dataset. |