diff options
| -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 |