mawk to gawk or ?

Hi,

I wrote a few awk utilities which processes ~400MB logs from our
various Cisco PIXs and ~100 MB from squid proxies daily through cron
early every morning. Currently I've been running it with mawk and
everything is peachy.

It seems that mawk has been abandoned, though. Is this the case? I do
sometimes run my scripts from the command line and that's where I see
the hit when I compare the two.

So, to make a long query short: is mawk headed to the ghetto and would
it be wise to work with gawk or some other version of awk?[0]

 gg

[0] Not trying to start a language war! Just wanting opinions!