From 2307cdebfa1dd1759a1e37a52241919fa7b12f03 Mon Sep 17 00:00:00 2001 From: Nico Schottelius Date: Fri, 26 Oct 2012 18:38:00 +0200 Subject: [PATCH] abort dist on any error Signed-off-by: Nico Schottelius --- build | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/build b/build index 1aa76f3b..5ecf481a 100755 --- a/build +++ b/build @@ -116,18 +116,19 @@ case "$1" in ;; dist-check) + set -e echo "Verifying documentation building works ..." - $0 clean && $0 man + $0 clean + $0 man changelog_version=$($0 changelog-version) + echo "Target version from changelog: $changelog_version" if git show --quiet $changelog_version >/dev/null 2>&1; then echo "Version $changelog_version already exists, aborting." exit 1 fi - echo "Target version from changelog: $changelog_version" - # verify date in changelog date_today="$(date +%Y-%m-%d)" date_changelog=$(grep '^[[:digit:]]' "$basedir/docs/changelog" | head -n1 | sed 's/.*: //')