diff options
-rw-r--r-- | release/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/release/Makefile b/release/Makefile index c07fc4e..0965adc 100644 --- a/release/Makefile +++ b/release/Makefile @@ -1,4 +1,4 @@ -# $Id: Makefile,v 1.323 1997/09/20 17:10:09 joerg Exp $ +# $Id: Makefile,v 1.324 1997/09/30 08:09:03 jkh Exp $ # # make release CHROOTDIR=/some/dir BUILDNAME=somename [ RELEASETAG=tag ] # @@ -255,8 +255,8 @@ release.1: release.2: cd ${.CURDIR}/../etc && make distrib-dirs DESTDIR=${RD}/trees/bin cd ${.CURDIR}/.. && make distribute DISTDIR=${RD}/trees -.if exists(${.CURDIR}/../kerberos4) && !defined(NOKERBEROS) - cd ${.CURDIR}/../kerberos4 && ( \ +.if exists(${.CURDIR}/../kerberosIV) && !defined(NOKERBEROS) + cd ${.CURDIR}/../kerberosIV && ( \ make bootstrap &&\ make obj all help-distribute DISTDIR=${RD}/trees &&\ make kprog \ |