From 0a2a9beb6065a83278ee211d33f65f6813619c05 Mon Sep 17 00:00:00 2001 From: Johannes Schauer Marin Rodrigues Date: Mon, 10 Jun 2024 09:10:57 +0200 Subject: [PATCH] coverage.sh: add missing newline at end of curl output --- coverage.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/coverage.sh b/coverage.sh index c555c8e..e02cf35 100755 --- a/coverage.sh +++ b/coverage.sh @@ -106,7 +106,7 @@ fi # check if the wiki has to be updated with pod2markdown output if [ "${DEBEMAIL:-}" = "josch@debian.org" ]; then - bash -exc "diff -u <(curl --silent https://gitlab.mister-muffin.de/josch/mmdebstrap/wiki/raw/Home | dos2unix) <(pod2markdown < mmdebstrap)" || : + bash -exc "diff -u <(curl --silent https://gitlab.mister-muffin.de/josch/mmdebstrap/wiki/raw/Home | dos2unix; echo) <(pod2markdown < mmdebstrap)" || : fi rm -f shared/test.sh shared/tar1.txt shared/tar2.txt shared/pkglist.txt shared/doc-debian.tar.list shared/mmdebstrap shared/tarfilter shared/proxysolver