summaryrefslogtreecommitdiff
path: root/infra/get-dm-txt
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2015-06-28 23:07:41 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2015-06-28 23:10:22 +0100
commitebe0df56422256565f85b29f78fe59d35656f94e (patch)
treedbcb16628749fa85dccd6067531f6df7120ea39c /infra/get-dm-txt
parent7a226db27fb1e8b59a65bed06fa3aace2c266cb0 (diff)
Infra: get-dm-txt: Report if git-config fails
Diffstat (limited to 'infra/get-dm-txt')
-rwxr-xr-xinfra/get-dm-txt3
1 files changed, 2 insertions, 1 deletions
diff --git a/infra/get-dm-txt b/infra/get-dm-txt
index 02e73f0..32e89bb 100755
--- a/infra/get-dm-txt
+++ b/infra/get-dm-txt
@@ -7,7 +7,8 @@ file=dm.txt
server=ftp-master.debian.org
path=$file
-certargs=$(git config dgit-distro.debian.archive-query-tls-curl-ca-args)
+certargs=$(git config dgit-distro.debian.archive-query-tls-curl-ca-args \
+ || (echo >&2 "git config failed"; exit 1))
with-lock-ex -f $file.lock sh -c "
if ! curl $certargs \