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

Attachment: fiasco-ubuntu.r342.080411.patch
Description: Binary data

_______________________________________________
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

Reply via email to