From 4a3b1f84ff113611d299abe50833a85ceff44fad Mon Sep 17 00:00:00 2001 From: Mark Murray Date: Sun, 5 Oct 1997 15:39:47 +0000 Subject: [PATCH] How the heck did this get back?? --- Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index d0ebcc0272d..54b41250759 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,5 @@ # -# $Id: Makefile,v 1.109.2.19 1997/09/28 16:33:05 mckay Exp $ +# $Id: Makefile,v 1.149 1997/10/05 09:34:41 jkh Exp $ # # Make command line options: # -DCLOBBER will remove /usr/include @@ -552,8 +552,8 @@ libraries: ${MAKE} ${MK_FLAGS} all && \ ${MAKE} ${MK_FLAGS} -B install ${CLEANDIR} ${OBJDIR} .endif -.if exists(eBones) && !defined(NOCRYPT) && defined(MAKE_EBONES) - cd ${.CURDIR}/eBones/lib && ${MAKE} depend && \ +.if exists(eBones) && !defined(NOCRYPT) && defined(MAKE_KERBEROS4) + cd ${.CURDIR}/kerberosIV/lib && ${MAKE} depend && \ ${MAKE} ${MK_FLAGS} all && \ ${MAKE} ${MK_FLAGS} -B install ${CLEANDIR} ${OBJDIR} .endif