I just built the latest make from CVS; it seems to fix this particular bug and the compilition proceeds further than before. Unfortunately make later segfaults (see https://savannah.gnu.org/bugs/?func=detailitem&item_id=15818 ).
Regards, Thomas
signature.asc
Description: Digital signature