[Newbie] Bug in Gnumach's Makefile.in

[Laurent Gualdi]

Hello everybody.
I've just download Gnumach source file from the CVS and try to compile it.

I had some problem with the command "make kernel-ide+floppy".
Make stopped and told me that it couldn't find the target kernel-ide+floppy.

I had to modify the makefile.in to make it work.

Here is a diff of my Makefile.in.

Can you tell me if it is correct ?

I still have problem with the end of the compilation 
( link problem with function 'panic', 'smalloc', ... in the oskit lib ) but it
 is another problem :-)) 

I hope this will help.

bye

Laurent Gualdi

Makefile.in.diff
Description: Text document