[build2] Cannot remove repository addresses?

Boris Kolpackov boris at codesynthesis.com
Wed Dec 13 12:36:56 UTC 2017


Klaim - Joël Lamotte <mjklaim at gmail.com> writes:

> I see, but is "log & continue" hard in that specific case?

Even if it's not, the utility is dubious (in most cases you will want
to fix the URL and re-run fetch). And we have lots of, much, much
bigger fish to fry.

Boris



More information about the users mailing list