Subject: Re: make release fails
To: Havard Eidnes <email@example.com>
From: Bang Jun-Young <firstname.lastname@example.org>
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
Bang Jun-Young <email@example.com>