Subject: Re: make release fails
To: Havard Eidnes <>
From: Bang Jun-Young <>
List: current-users
Date: 07/30/2001 01:24:45
On Sun, Jul 29, 2001 at 12:09:00PM +0200, Havard Eidnes wrote:
> Check your DESTDIR for whether these files are present.
> If they aren't, check for other files with similar names; it could be
> that the set lists are out of sync with current reality, and that
> e.g. some libraries have had their version numbers increased.  You can
> check that with distrib/sets/checkflists (while DESTDIR still points
> to the right spot, of course).

They weren't even built.

I have found that the problem was already issued by Patrick Welche
a couple of days ago. Obviously, make release process is broken and
needs to be fixed (I did it again with USE_NEW_TOOLCHAIN=1 but it
didn't help).


Bang Jun-Young <>