pkgsrc-Users archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

Re: does lintpkgsrc not delete empty source directories?

On Mon, 25 May 2009, Adrian Portelli wrote:

On 23/5/09 16:41, Hisashi T Fujinaka wrote:
I was poking around in /usr/pkgsrc/distfiles and I saw a lot of empty
directories with old source names. Is there some switch I'm not giving
to lintpkgsrc? I usually run it with -mopr.


I don't believe it does.  I usually run it with -or and often see empty
directories that used to contain distfiles that it removed.

I think it should delete the empty directories since it is deleting the
old files. Is there a reason it doesn't?

Hisashi T Fujinaka -
BSEE(6/86) + BSChem(3/95) + BAEnglish(8/95) + MSCS(8/03) + $2.50 = latte

Home | Main Index | Thread Index | Old Index