------- Comment #1 from ludovic at ludovic-brenta dot org 2009-08-20 12:02 ------- At first glance: the makefile seems not to be calling awk at all; the first word is BEGIN; obviously the command BEGIN is not found.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41122
