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)
------------------------------------------------------------------------------