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