diff options
Diffstat (limited to 'make-dist')
-rwxr-xr-x | make-dist | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/make-dist b/make-dist index 0e012071640..1b4eae3e7db 100755 --- a/make-dist +++ b/make-dist @@ -297,6 +297,21 @@ if [ $check = yes ]; then make --question info || error=yes fi + ## Is this a release? + case $version in + [1-9][0-9].[0-9]) + if [ -e ChangeLog ]; then + if ! grep -q "Version $version released" ChangeLog; then + echo "No release notice in ChangeLog" + error=yes + fi + else + echo "A release must have a ChangeLog" + error=yes + fi + ;; + esac + if [ $error = yes ]; then echo "Failed checks" >&2 exit 1 |