Fiasco compilation with ubuntu

[Marc CHALAND]

Hi,

 I get problem with our version of ubuntu to compile fiasco. date
 doesn't work exactly in a same manner as gentoo and debian. It adds
 "(+02.00)" at the end of output which disturbs make process. Here is
 the patch that we use. It works on debian and gentoo also.

 Regards

Marc
-------------- next part --------------
A non-text attachment was scrubbed...
Name: fiasco-ubuntu.r342.080411.patch
Type: application/octet-stream
Size: 638 bytes
Desc: not available
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20080415/3b6b683e/attachment.obj>