seems mawk is faster than gawk (gnu awk). So maybe this is the reason it was choosen.
- Benoît On Sun, 2006-02-05 at 04:27 +0800, Jeffrey Lim wrote: > On 2/3/06, Dimitrios Apostolou <[EMAIL PROTECTED]> wrote: > > > > However there is no official explanation of why mawk is prefered over gawk. > > > > i have noticed the silence as well. Still watching, and waiting for > the official explanation to be forthcoming. None yet. > > -jf > > _______________________________________________ > arch mailing list > [email protected] > http://www.archlinux.org/mailman/listinfo/arch _______________________________________________ arch mailing list [email protected] http://www.archlinux.org/mailman/listinfo/arch
