On Monday 08 October 2007, Bogdan-Andrei Iancu wrote:
Hi Henning,
Dragos made a new version of makefile based on awk and not bash specific
tests. Please give it a try and see if now work for you also.
Good morning Bogdan,
thank you, it works now.
Henning
