Subject: Re: package tools need to be updated to 1999/01/19
To: Eric Fox <eric@fox.phoenix.az.us>
From: Brian C. Grayson <bgrayson@marvin.ece.utexas.edu>
List: tech-pkg
Date: 01/28/1999 13:43:05 
On Thu, Jan 28, 1999 at 08:06:18AM -0700, Eric Fox wrote:
> 
> I've cd'd the above directory and issued a make there:
> 
>  red:# cd /usr/pkgsrc/pkgtools/pkg_install
>  red:# make
>  red:# make install
>  red:# 
> 
> It doesn't appear to have done anything.  Attempts to compile the
> package again fail exactly as before.

  I've seen this also.  My workaround is:

make clean; make install

  I think "rm work/.install_done; make install" may also force
the install to be done.

  Brian