------- Comment #2 from ludovic at ludovic-brenta dot org 2009-08-20 12:04 ------- Actually, the whole awk program, which is presumably between single quotes in the makefile, is the command which is not found. The command should be awk.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41122