diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-06-28 23:07:41 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-06-28 23:10:22 +0100 |
commit | ebe0df56422256565f85b29f78fe59d35656f94e (patch) | |
tree | dbcb16628749fa85dccd6067531f6df7120ea39c /infra/get-dm-txt | |
parent | 7a226db27fb1e8b59a65bed06fa3aace2c266cb0 (diff) |
Infra: get-dm-txt: Report if git-config fails
Diffstat (limited to 'infra/get-dm-txt')
-rwxr-xr-x | infra/get-dm-txt | 3 |
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 \ |