diff options
author | jhb <jhb@FreeBSD.org> | 2000-07-14 18:03:32 +0000 |
---|---|---|
committer | jhb <jhb@FreeBSD.org> | 2000-07-14 18:03:32 +0000 |
commit | 30db5ecf83014b923b69cba6e42051d7526c34c0 (patch) | |
tree | e962899cb586357de70289013b881aaa931422d2 | |
parent | 7ee403c6696a4a3033b7bdb51a7562cc4805e011 (diff) | |
download | FreeBSD-src-30db5ecf83014b923b69cba6e42051d7526c34c0.zip FreeBSD-src-30db5ecf83014b923b69cba6e42051d7526c34c0.tar.gz |
- 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.
-rw-r--r-- | release/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
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 |