commit 4a8429a2bff8363d2ab0aa8913d9cd82f115c584 parent ab937b56dec51e002ef2e248a3bf9b183f848cc2 Author: Albert Lee <trisk@acm.jhu.edu> Date: Mon, 1 Dec 2008 18:56:46 -0500 isum.awk: define fflush for awk != gawk Diffstat:
M | dist/isum.awk | | | 7 | ++++++- |
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/dist/isum.awk b/dist/isum.awk @@ -10,7 +10,12 @@ BEGIN { updates = "/dev/stderr" } -function clearstatus( noflush, i) +function fflush(filename) +{ + system("") +} + +function clearstatus(noflush, i) { if(!updates) return