[Gnu-arch-users] tla1.2 tree-lint [dir] option broken.

[Karel Gardas]

Hello,

old larch tree-lint worked in the way that it reported tree-lint for the
current directory. Todays tla1.2 doesn't seem to follow this way and even
when supplied with ``tree-lint <directory>'' option it still reports
tree-lint for whole source tree. Is this a bug or in fact intended
behaviour?

Thanks,

Karel
--
Karel Gardas                  address@hidden
ObjectSecurity Ltd.           http://www.objectsecurity.com