Subject: Re: build problem today
To: Johan Danielsson <>
From: Rick Kelly <>
List: current-users
Date: 12/30/2000 04:48:09
Johan Danielsson said:

>I think this was fixed before Christmas. You sure you have recent

I did a cvs update before the build using:

setenv CVSROOT

as the CVSROOT string.

Apparently there is a round robin pool of servers, and they aren't all
getting updated in a timely manner. I do a daily CVS update.
Rick Kelly