18 Jan
2007
18 Jan
'07
5:04 p.m.
On 1/18/07, Dan McGee <dpmcgee@gmail.com> wrote:
flex: /usr/bin/flex exists in filesystemflex
This worries me. It appears that some spaces have been removed from the deps in the DB, merging "filesystem" and "flex" as one name. As for the "cannot remove file" stuff. The error makes sense now. What file can't it find? usr/man/man1/flex.1.gz NOT /usr/man/man1/flex.1.gz The issue is in unlink_file. It uses the version of the file which DOESN'T have the current root prepended. I fixed this in CVS (and added the absolute path to some output there as well).