On 2. jan.. 2008, at 21.20, Németh Márton wrote:
Bad news: the make process was not able to finish, here is the error:
Did you make clean? It seems to work on my Ubuntu 7.10. -- Stig Bjørlykke