Subject: RE: Problems with ufsmount when running make build
To: Manuel Bouyer <>
From: Jan H. van Gils <JanVG@Knoware.NL>
List: current-users
Date: 03/23/2001 11:31:20

I am using -current, and I did not have the delete option in my supfile conf
I added the option and I am going to try to see if this fixes my problem

Thanks for the information


With regards Jan H. van Gils
Internet web-page http://www.Knoware.NL/users/JanVG/
Internet e-mail address JanVG@Knoware.NL

-----Original Message-----
From: Manuel Bouyer []
Sent: vrijdag 23 maart 2001 10:45
To: Jan H. van Gils
Subject: Re: Problems with ufsmount when running make build

On Fri, Mar 23, 2001 at 09:29:27AM +0100, Jan H. van Gils wrote:
> Manuel,
> I am building from a tree I created with a sup.
> I think the tree is clean. I started a couple off times
> with make distclean && make build
> As far as I know the ufsmount is the only source that
> has a problem.

Please make sure you have the 'delete' keyword in your sup config file
(othewise stale files may be around).
Did you try to sup again to see if the problem is fixed ?
Are you using -current or -release tree ?

Manuel Bouyer, LIP6, Universite Paris VI.