[Bug libc/11351] New: make fails with mawk, works with gawk

[technology at jonkristensen dot com]

Using Debian 5.0.4 with the default sources following
http://www.linuxfromscratch.org/lfs/view/stable/chapter05/glibc.html I got an
error like this:
http://www.linuxquestions.org/questions/linux-from-scratch-13/glibc-2.5.1-make-error-588488/.

I solved it by removing mawk, installing gawk and running configure/make again.
Should the configure script require gawk?

-- 
           Summary: make fails with mawk, works with gawk
           Product: glibc
           Version: 2.11
            Status: NEW
          Severity: normal
          Priority: P2
         Component: libc
        AssignedTo: drepper at redhat dot com
        ReportedBy: technology at jonkristensen dot com
                CC: glibc-bugs at sources dot redhat dot com


http://sourceware.org/bugzilla/show_bug.cgi?id=11351

------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.