Date: Wed, 26 Feb 1997 15:39:12 -0800 (PST) From: asami@vader.cs.berkeley.edu (Satoshi Asami) To: adam@veda.is Cc: imp@village.org, freebsd-ports@freebsd.org Subject: Re: make -k oddities Message-ID: <199702262339.PAA03965@vader.cs.berkeley.edu> In-Reply-To: <199702262008.UAA00718@veda.is> (message from Adam David on Wed, 26 Feb 1997 20:08:43 %2B0000 (GMT))
next in thread | previous in thread | raw e-mail | index | archive | help
* We don't have FETCH_COOKIE, and if we did the dependency would cause make -k * to skip the build as expected. This has nothing to do with cookies, Adam. Look at the "fetch:" target, and see how it returns 0 if "make -k" doesn't report failure. Now look at the other targets (with my proposed patch), and see how the cookies will be created anyway if "make -k" doesn't report failure. * There must have been a good reason not to implement FETCH_COOKIE? Yes. ${WRKDIR} is not created at that point. :) I didn't bother trying to work around that because invoking do-fetch on an already-fetched set of distfiles in harmless (basically it will just check the files are there and return 0). Satoshi
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?199702262339.PAA03965>