Isto é certamente não intencional. Nós (os mantenedores do gawk ) procuraremos consertá-lo.
No futuro, ajudaria MUITO, se tais perguntas fossem enviadas para o endereço de relato do bug gawk ( [email protected]
, veja gawk --help
), para que os desenvolvedores aprendessem sobre esses problemas e os corrigissem. / p>