Subject: 940330 awk has problems reading from pipe
To: None <>
From: Alan Barrett <>
List: current-users
Date: 04/01/1994 12:24:43
While building sh, I get problems that I traced to the awk invocations in
/usr/src/bin/sh/{mkbuiltins,mktokens}.  mkbuiltins does something like

   tr abcd... ABCD... < $temp | awk '{ stuff }'

and mktokens does something like

   sed 's/"//g' /tmp/ka$$ | awk '{ stuff }'

In both cases, awk exits without printing anything, so the generated files
are wrong.  I worked around it by using some temp files instead of the

--apb (Alan Barrett)