diff options
| author | Albert Lee <trisk@acm.jhu.edu> | 2008-12-01 18:56:46 -0500 |
|---|---|---|
| committer | Albert Lee <trisk@acm.jhu.edu> | 2008-12-01 18:56:46 -0500 |
| commit | 4a8429a2bff8363d2ab0aa8913d9cd82f115c584 (patch) | |
| tree | e4877902ada88c8d7c733bad12887150179a13e5 /dist/isum.awk | |
| parent | ab937b56dec51e002ef2e248a3bf9b183f848cc2 (diff) | |
isum.awk: define fflush for awk != gawk
Diffstat (limited to 'dist/isum.awk')
| -rw-r--r-- | dist/isum.awk | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/dist/isum.awk b/dist/isum.awk index 4fce96ec..cb475cde 100644 --- 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 |