Bug#413185: When the files are downloaded with apt-get install, the system reboots occasionally.

[Samuel Thibault <samuel.thibault@ens-lyon.org>]

YAMAMOTO, Hiroyuki, le Sat 03 Mar 2007 21:06:05 +0900, a écrit :
> Samuel Thibault wrote:
> >BTW, what is +b1 at the end of your version? debian doesn't provide such
> >version.
> >  
> 
> Yes, it is the one officially provided as debian-K14-hurd-i386-CD1.iso.
> It is possible to download it on the following WEB site:
> http://snapshot.debian.net/archive/2007/02/12/debian/pool/main/g/gnumach/

Ah, I didn't notice it. It's probably a binary upload, recompiled with a
different version of gcc I guess.

> If I can do, I do anything.
> OK, I will try it out, so may I have while it is a few?

Mmm, I couldn't parse that last sentense :)

Actually, I'd say the first thing you should try is to recompile
gnumach=2:1.3.99.dfsg.cvs20070211-1 after having installed gcc-4.0 and
done:

ln -sf gcc-4.0 /usr/bin/gcc

So as to use gcc-4.0 for compiling it.

Samuel