diff options
Diffstat (limited to 'Makefile.maint')
| -rw-r--r-- | Makefile.maint | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile.maint b/Makefile.maint index 6b3d577e8..455f4756c 100644 --- a/Makefile.maint +++ b/Makefile.maint @@ -616,6 +616,10 @@ $(xd-delta): $(release_archive_dir)/$(prev-tgz) $(distdir).tar.gz .PHONY: alpha beta major alpha beta major: news-date-check $(local-check) + test $@ = major \ + && { echo $(VERSION) | grep -E '^[0-9]+(\.[0-9]+)+$$' \ + || { echo "invalid version string: $(VERSION)" 1>&2; exit 1; }}\ + || : $(MAKE) cvs-dist $(MAKE) $(xd-delta) $(MAKE) -s announcement RELEASE_TYPE=$@ > /tmp/announce-$(my_distdir) |