Re: [Gnu-arch-users] why does tla undo perform a tree-lint?

[Aaron Bentley]

Adrian Irving-Beer wrote:
> On Tue, Oct 19, 2004 at 12:57:28AM +1000, Anand Kumria wrote:
>
>
> > I'm just wondering why 'tla undo' performs a tree-lint prior to
> > doing the actual undo?
>
>
> It needs to create a changeset for 'tla redo'.  Changesets require a
> proper tree; hence, deleting files requires IDs for those files.

Also, undo works by producing and applying a changeset, but changesets 
should never contain non-source files.

It bugs me too.  I have a script that deletes all conflict files and 
then runs undo.

Aaron

--
Aaron Bentley
Director of Technology
Panometrics, Inc.