abort dist on any error
Signed-off-by: Nico Schottelius <nico@brief.schottelius.org>
This commit is contained in:
parent
e397f2a74c
commit
2307cdebfa
1 changed files with 4 additions and 3 deletions
7
build
7
build
|
@ -116,18 +116,19 @@ case "$1" in
|
||||||
;;
|
;;
|
||||||
|
|
||||||
dist-check)
|
dist-check)
|
||||||
|
set -e
|
||||||
echo "Verifying documentation building works ..."
|
echo "Verifying documentation building works ..."
|
||||||
$0 clean && $0 man
|
$0 clean
|
||||||
|
$0 man
|
||||||
|
|
||||||
changelog_version=$($0 changelog-version)
|
changelog_version=$($0 changelog-version)
|
||||||
|
echo "Target version from changelog: $changelog_version"
|
||||||
|
|
||||||
if git show --quiet $changelog_version >/dev/null 2>&1; then
|
if git show --quiet $changelog_version >/dev/null 2>&1; then
|
||||||
echo "Version $changelog_version already exists, aborting."
|
echo "Version $changelog_version already exists, aborting."
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
|
|
||||||
echo "Target version from changelog: $changelog_version"
|
|
||||||
|
|
||||||
# verify date in changelog
|
# verify date in changelog
|
||||||
date_today="$(date +%Y-%m-%d)"
|
date_today="$(date +%Y-%m-%d)"
|
||||||
date_changelog=$(grep '^[[:digit:]]' "$basedir/docs/changelog" | head -n1 | sed 's/.*: //')
|
date_changelog=$(grep '^[[:digit:]]' "$basedir/docs/changelog" | head -n1 | sed 's/.*: //')
|
||||||
|
|
Loading…
Reference in a new issue