Hi. I just hit a bug in Debian's mawk that turned out to have been fixed upstream long ago. Can we please update the mawk we ship to our users? Can I help? What needs to happen?
Thanks dima For the record, the issue I hit was that when doing the following, the -Winteractive is silently ignored: process | mawk -Winteractive 'mawk script' /dev/stdin I.e. specifying /dev/stdin explicitly breaks it.