new release: ensure NEWS file is up to date
This commit is contained in:
parent
ce67374c0e
commit
9aa9e719d9
|
@ -2,7 +2,7 @@
|
||||||
|
|
||||||
set -e
|
set -e
|
||||||
|
|
||||||
if [ ! -d src ] ; then
|
if [ ! -d src ] || [ ! -f NEWS ] ; then
|
||||||
echo "Please run me in bip sources root." >&2
|
echo "Please run me in bip sources root." >&2
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
|
@ -37,6 +37,13 @@ make_distcheck() {
|
||||||
|
|
||||||
git log > ChangeLog
|
git log > ChangeLog
|
||||||
if [ -n "$release_version" ]; then
|
if [ -n "$release_version" ]; then
|
||||||
|
# Don't forget to update NEWS file before a release
|
||||||
|
expected="$(date --rfc-3339=date) (${release_version})"
|
||||||
|
if [ -n "${release_name}" ]; then
|
||||||
|
expected="${expected} \"${release_name}\""
|
||||||
|
fi
|
||||||
|
head -n 1 NEWS | grep -q "^${expected}$" || (echo "NEWS file doesn't match the expected format (${expected})" && exit 1)
|
||||||
|
|
||||||
set_version "${release_version}"
|
set_version "${release_version}"
|
||||||
make_distcheck || exit 1
|
make_distcheck || exit 1
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue