diff options
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 \ |