Subject: Re: "make install" for a second time does nothing
To: Jeroen Ruigrok/asmodai <email@example.com>
From: Pavel Cahyna <firstname.lastname@example.org>
Date: 06/26/2005 15:58:34
On Sun, Jun 26, 2005 at 03:50:28PM +0200, Jeroen Ruigrok/asmodai wrote:
> -On [20050626 14:12], Pavel Cahyna (email@example.com) wrote:
> >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.)
> make reinstall?
OK, this works. But still, is the behavior of "make install" useful?
Wouldn't be more reasonable to install the package if it is not installed,
instead of installing only if that command is entered for the first time?