Re: SOLVED Re: [Gnu-arch-users] PANIC: duplicate ids in ORIG tree

[Cameron Patrick]

Robert Anderson wrote:

> On the other hand, this seems like it might happen often enough
> that there ought to be a safety net for this.  I'm not sure
> exactly where it should go, though.

Adding an id for .arch-ids/ or a file in .arch-ids/ shouldn't be
permitted -- I can't think of a good reason why anyone would want to
do that (although that doesn't mean there isn't one), and it evidently
causes bad things to happen if you aren't careful.

Cameron.