From 30db5ecf83014b923b69cba6e42051d7526c34c0 Mon Sep 17 00:00:00 2001 From: jhb Date: Fri, 14 Jul 2000 18:03:32 +0000 Subject: - Add in some sanity checking. If NOPORTS is set but NODOC is not set, print an error message and die immediately rather than an hour later. --- release/Makefile | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'release/Makefile') diff --git a/release/Makefile b/release/Makefile index 8314b71..b397168 100644 --- a/release/Makefile +++ b/release/Makefile @@ -174,6 +174,11 @@ rerelease release: .if !defined(CHROOTDIR) || !defined(BUILDNAME) || !defined(CVSROOT) @echo "To make a release you must set CHROOTDIR, BUILDNAME and CVSROOT" && false .endif +.if defined(NOPORTS) && !defined(NODOC) + @echo "Ports are required for building the docs. Either set NODOC or" + @echo "unset NOPORTS!" + @exit 1 +.endif .if make(release) .if exists(${CHROOTDIR}) # The first command will fail on a handful of files that have their schg -- cgit v1.1