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>