forked from josch/mmdebstrap
coverage.sh: check whether wiki is up-to-date if run on developer machine
This commit is contained in:
parent
8eb09569bb
commit
9c970c0326
1 changed files with 7 additions and 0 deletions
|
@ -95,4 +95,11 @@ END
|
||||||
echo
|
echo
|
||||||
fi
|
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)" || :
|
||||||
|
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
|
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
|
||||||
|
|
||||||
|
echo "$0 finished successfully" >&2
|
||||||
|
|
Loading…
Reference in a new issue