Subject: 940330 awk has problems reading from pipe
To: None <current-users@sun-lamp.cs.berkeley.edu>
From: Alan Barrett <barrett@daisy.ee.und.ac.za>
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
pipelines.

--apb (Alan Barrett)

------------------------------------------------------------------------------