diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-06-28 16:03:47 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-06-28 16:03:47 +0100 |
commit | 380552def4af93d4f299a706a9c01e8db2f725d0 (patch) | |
tree | be7456cb1853af1ad775999afbdac0e128654712 /infra | |
parent | 3c23e61220277be62495b903ee29373a53a6d711 (diff) |
Infra: Honour archive-query-tls-curl-ca-args
Diffstat (limited to 'infra')
-rwxr-xr-x | infra/get-dm-txt | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/infra/get-dm-txt b/infra/get-dm-txt index 9885f9e..02e73f0 100755 --- a/infra/get-dm-txt +++ b/infra/get-dm-txt @@ -6,9 +6,8 @@ cd ${DGIT_INFRA_GETDMTXT_DATADIR-/srv/dgit.debian.org/data} file=dm.txt server=ftp-master.debian.org path=$file -cert=/etc/ssl/certs/$server.pem -certargs="--cacert=$cert --capath=/dev/enoent" +certargs=$(git config dgit-distro.debian.archive-query-tls-curl-ca-args) with-lock-ex -f $file.lock sh -c " if ! curl $certargs \ |