Hello,

I discovered that when I do "make install" for package foo, then "sudo
pkg_delete foo", then "make install" again to reinstall it, nothing
happens. (In my case, foo was wip/libxen.)

It seems that the workaround is simple: rm -f work/.install_done .

But this is quite non-intuitive. Could there be a more "intelligent" way
to determine if installing is required? For example, to check
/var/db/pkg/${PKGNAME} ?

Bye	Pavel